type crypto/elliptic/internal/fiat.p521Uint1
1153 uses
crypto/elliptic/internal/fiat (current package)
p521.go#L126: p521Selectznz((*p521UntypedFieldElement)(&v.x), p521Uint1(cond),
p521_fiat64.go#L43: type p521Uint1 uint64 // We use uint64 instead of a more narrow type for performance reasons; see https://github.com/mit-plv/fiat-crypto/pull/1006#issuecomment-892625927
p521_fiat64.go#L67: func p521CmovznzU64(out1 *uint64, arg1 p521Uint1, arg2 uint64, arg3 uint64) {
p521_fiat64.go#L124: x30, x31 = bits.Add64(x25, x22, uint64(p521Uint1(x29)))
p521_fiat64.go#L127: x32, x33 = bits.Add64(x23, x20, uint64(p521Uint1(x31)))
p521_fiat64.go#L130: x34, x35 = bits.Add64(x21, x18, uint64(p521Uint1(x33)))
p521_fiat64.go#L133: x36, x37 = bits.Add64(x19, x16, uint64(p521Uint1(x35)))
p521_fiat64.go#L136: x38, x39 = bits.Add64(x17, x14, uint64(p521Uint1(x37)))
p521_fiat64.go#L139: x40, x41 = bits.Add64(x15, x12, uint64(p521Uint1(x39)))
p521_fiat64.go#L142: x42, x43 = bits.Add64(x13, x10, uint64(p521Uint1(x41)))
p521_fiat64.go#L143: x44 := (uint64(p521Uint1(x43)) + x11)
p521_fiat64.go#L176: x65, x66 = bits.Add64(x60, x57, uint64(p521Uint1(x64)))
p521_fiat64.go#L179: x67, x68 = bits.Add64(x58, x55, uint64(p521Uint1(x66)))
p521_fiat64.go#L182: x69, x70 = bits.Add64(x56, x53, uint64(p521Uint1(x68)))
p521_fiat64.go#L185: x71, x72 = bits.Add64(x54, x51, uint64(p521Uint1(x70)))
p521_fiat64.go#L188: x73, x74 = bits.Add64(x52, x49, uint64(p521Uint1(x72)))
p521_fiat64.go#L191: x75, x76 = bits.Add64(x50, x47, uint64(p521Uint1(x74)))
p521_fiat64.go#L194: x77, x78 = bits.Add64(x48, x45, uint64(p521Uint1(x76)))
p521_fiat64.go#L195: x79 := (uint64(p521Uint1(x78)) + x46)
p521_fiat64.go#L200: x82, x83 = bits.Add64(x28, x63, uint64(p521Uint1(x81)))
p521_fiat64.go#L203: x84, x85 = bits.Add64(x30, x65, uint64(p521Uint1(x83)))
p521_fiat64.go#L206: x86, x87 = bits.Add64(x32, x67, uint64(p521Uint1(x85)))
p521_fiat64.go#L209: x88, x89 = bits.Add64(x34, x69, uint64(p521Uint1(x87)))
p521_fiat64.go#L212: x90, x91 = bits.Add64(x36, x71, uint64(p521Uint1(x89)))
p521_fiat64.go#L215: x92, x93 = bits.Add64(x38, x73, uint64(p521Uint1(x91)))
p521_fiat64.go#L218: x94, x95 = bits.Add64(x40, x75, uint64(p521Uint1(x93)))
p521_fiat64.go#L221: x96, x97 = bits.Add64(x42, x77, uint64(p521Uint1(x95)))
p521_fiat64.go#L224: x98, x99 = bits.Add64(x44, x79, uint64(p521Uint1(x97)))
p521_fiat64.go#L257: x120, x121 = bits.Add64(x115, x112, uint64(p521Uint1(x119)))
p521_fiat64.go#L260: x122, x123 = bits.Add64(x113, x110, uint64(p521Uint1(x121)))
p521_fiat64.go#L263: x124, x125 = bits.Add64(x111, x108, uint64(p521Uint1(x123)))
p521_fiat64.go#L266: x126, x127 = bits.Add64(x109, x106, uint64(p521Uint1(x125)))
p521_fiat64.go#L269: x128, x129 = bits.Add64(x107, x104, uint64(p521Uint1(x127)))
p521_fiat64.go#L272: x130, x131 = bits.Add64(x105, x102, uint64(p521Uint1(x129)))
p521_fiat64.go#L275: x132, x133 = bits.Add64(x103, x100, uint64(p521Uint1(x131)))
p521_fiat64.go#L276: x134 := (uint64(p521Uint1(x133)) + x101)
p521_fiat64.go#L282: x137, x138 = bits.Add64(x84, x118, uint64(p521Uint1(x136)))
p521_fiat64.go#L285: x139, x140 = bits.Add64(x86, x120, uint64(p521Uint1(x138)))
p521_fiat64.go#L288: x141, x142 = bits.Add64(x88, x122, uint64(p521Uint1(x140)))
p521_fiat64.go#L291: x143, x144 = bits.Add64(x90, x124, uint64(p521Uint1(x142)))
p521_fiat64.go#L294: x145, x146 = bits.Add64(x92, x126, uint64(p521Uint1(x144)))
p521_fiat64.go#L297: x147, x148 = bits.Add64(x94, x128, uint64(p521Uint1(x146)))
p521_fiat64.go#L300: x149, x150 = bits.Add64(x96, x130, uint64(p521Uint1(x148)))
p521_fiat64.go#L303: x151, x152 = bits.Add64(x98, x132, uint64(p521Uint1(x150)))
p521_fiat64.go#L306: x153, x154 = bits.Add64(uint64(p521Uint1(x99)), x134, uint64(p521Uint1(x152)))
p521_fiat64.go#L339: x175, x176 = bits.Add64(x170, x167, uint64(p521Uint1(x174)))
p521_fiat64.go#L342: x177, x178 = bits.Add64(x168, x165, uint64(p521Uint1(x176)))
p521_fiat64.go#L345: x179, x180 = bits.Add64(x166, x163, uint64(p521Uint1(x178)))
p521_fiat64.go#L348: x181, x182 = bits.Add64(x164, x161, uint64(p521Uint1(x180)))
p521_fiat64.go#L351: x183, x184 = bits.Add64(x162, x159, uint64(p521Uint1(x182)))
p521_fiat64.go#L354: x185, x186 = bits.Add64(x160, x157, uint64(p521Uint1(x184)))
p521_fiat64.go#L357: x187, x188 = bits.Add64(x158, x155, uint64(p521Uint1(x186)))
p521_fiat64.go#L358: x189 := (uint64(p521Uint1(x188)) + x156)
p521_fiat64.go#L363: x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))
p521_fiat64.go#L366: x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
p521_fiat64.go#L369: x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
p521_fiat64.go#L372: x198, x199 = bits.Add64(x143, x179, uint64(p521Uint1(x197)))
p521_fiat64.go#L375: x200, x201 = bits.Add64(x145, x181, uint64(p521Uint1(x199)))
p521_fiat64.go#L378: x202, x203 = bits.Add64(x147, x183, uint64(p521Uint1(x201)))
p521_fiat64.go#L381: x204, x205 = bits.Add64(x149, x185, uint64(p521Uint1(x203)))
p521_fiat64.go#L384: x206, x207 = bits.Add64(x151, x187, uint64(p521Uint1(x205)))
p521_fiat64.go#L387: x208, x209 = bits.Add64(x153, x189, uint64(p521Uint1(x207)))
p521_fiat64.go#L388: x210 := (uint64(p521Uint1(x209)) + uint64(p521Uint1(x154)))
p521_fiat64.go#L421: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L424: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L427: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L430: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L433: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L436: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L439: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L440: x245 := (uint64(p521Uint1(x244)) + x212)
p521_fiat64.go#L446: x248, x249 = bits.Add64(x194, x229, uint64(p521Uint1(x247)))
p521_fiat64.go#L449: x250, x251 = bits.Add64(x196, x231, uint64(p521Uint1(x249)))
p521_fiat64.go#L452: x252, x253 = bits.Add64(x198, x233, uint64(p521Uint1(x251)))
p521_fiat64.go#L455: x254, x255 = bits.Add64(x200, x235, uint64(p521Uint1(x253)))
p521_fiat64.go#L458: x256, x257 = bits.Add64(x202, x237, uint64(p521Uint1(x255)))
p521_fiat64.go#L461: x258, x259 = bits.Add64(x204, x239, uint64(p521Uint1(x257)))
p521_fiat64.go#L464: x260, x261 = bits.Add64(x206, x241, uint64(p521Uint1(x259)))
p521_fiat64.go#L467: x262, x263 = bits.Add64(x208, x243, uint64(p521Uint1(x261)))
p521_fiat64.go#L470: x264, x265 = bits.Add64(x210, x245, uint64(p521Uint1(x263)))
p521_fiat64.go#L503: x286, x287 = bits.Add64(x281, x278, uint64(p521Uint1(x285)))
p521_fiat64.go#L506: x288, x289 = bits.Add64(x279, x276, uint64(p521Uint1(x287)))
p521_fiat64.go#L509: x290, x291 = bits.Add64(x277, x274, uint64(p521Uint1(x289)))
p521_fiat64.go#L512: x292, x293 = bits.Add64(x275, x272, uint64(p521Uint1(x291)))
p521_fiat64.go#L515: x294, x295 = bits.Add64(x273, x270, uint64(p521Uint1(x293)))
p521_fiat64.go#L518: x296, x297 = bits.Add64(x271, x268, uint64(p521Uint1(x295)))
p521_fiat64.go#L521: x298, x299 = bits.Add64(x269, x266, uint64(p521Uint1(x297)))
p521_fiat64.go#L522: x300 := (uint64(p521Uint1(x299)) + x267)
p521_fiat64.go#L527: x303, x304 = bits.Add64(x248, x284, uint64(p521Uint1(x302)))
p521_fiat64.go#L530: x305, x306 = bits.Add64(x250, x286, uint64(p521Uint1(x304)))
p521_fiat64.go#L533: x307, x308 = bits.Add64(x252, x288, uint64(p521Uint1(x306)))
p521_fiat64.go#L536: x309, x310 = bits.Add64(x254, x290, uint64(p521Uint1(x308)))
p521_fiat64.go#L539: x311, x312 = bits.Add64(x256, x292, uint64(p521Uint1(x310)))
p521_fiat64.go#L542: x313, x314 = bits.Add64(x258, x294, uint64(p521Uint1(x312)))
p521_fiat64.go#L545: x315, x316 = bits.Add64(x260, x296, uint64(p521Uint1(x314)))
p521_fiat64.go#L548: x317, x318 = bits.Add64(x262, x298, uint64(p521Uint1(x316)))
p521_fiat64.go#L551: x319, x320 = bits.Add64(x264, x300, uint64(p521Uint1(x318)))
p521_fiat64.go#L552: x321 := (uint64(p521Uint1(x320)) + uint64(p521Uint1(x265)))
p521_fiat64.go#L585: x342, x343 = bits.Add64(x337, x334, uint64(p521Uint1(x341)))
p521_fiat64.go#L588: x344, x345 = bits.Add64(x335, x332, uint64(p521Uint1(x343)))
p521_fiat64.go#L591: x346, x347 = bits.Add64(x333, x330, uint64(p521Uint1(x345)))
p521_fiat64.go#L594: x348, x349 = bits.Add64(x331, x328, uint64(p521Uint1(x347)))
p521_fiat64.go#L597: x350, x351 = bits.Add64(x329, x326, uint64(p521Uint1(x349)))
p521_fiat64.go#L600: x352, x353 = bits.Add64(x327, x324, uint64(p521Uint1(x351)))
p521_fiat64.go#L603: x354, x355 = bits.Add64(x325, x322, uint64(p521Uint1(x353)))
p521_fiat64.go#L604: x356 := (uint64(p521Uint1(x355)) + x323)
p521_fiat64.go#L610: x359, x360 = bits.Add64(x305, x340, uint64(p521Uint1(x358)))
p521_fiat64.go#L613: x361, x362 = bits.Add64(x307, x342, uint64(p521Uint1(x360)))
p521_fiat64.go#L616: x363, x364 = bits.Add64(x309, x344, uint64(p521Uint1(x362)))
p521_fiat64.go#L619: x365, x366 = bits.Add64(x311, x346, uint64(p521Uint1(x364)))
p521_fiat64.go#L622: x367, x368 = bits.Add64(x313, x348, uint64(p521Uint1(x366)))
p521_fiat64.go#L625: x369, x370 = bits.Add64(x315, x350, uint64(p521Uint1(x368)))
p521_fiat64.go#L628: x371, x372 = bits.Add64(x317, x352, uint64(p521Uint1(x370)))
p521_fiat64.go#L631: x373, x374 = bits.Add64(x319, x354, uint64(p521Uint1(x372)))
p521_fiat64.go#L634: x375, x376 = bits.Add64(x321, x356, uint64(p521Uint1(x374)))
p521_fiat64.go#L667: x397, x398 = bits.Add64(x392, x389, uint64(p521Uint1(x396)))
p521_fiat64.go#L670: x399, x400 = bits.Add64(x390, x387, uint64(p521Uint1(x398)))
p521_fiat64.go#L673: x401, x402 = bits.Add64(x388, x385, uint64(p521Uint1(x400)))
p521_fiat64.go#L676: x403, x404 = bits.Add64(x386, x383, uint64(p521Uint1(x402)))
p521_fiat64.go#L679: x405, x406 = bits.Add64(x384, x381, uint64(p521Uint1(x404)))
p521_fiat64.go#L682: x407, x408 = bits.Add64(x382, x379, uint64(p521Uint1(x406)))
p521_fiat64.go#L685: x409, x410 = bits.Add64(x380, x377, uint64(p521Uint1(x408)))
p521_fiat64.go#L686: x411 := (uint64(p521Uint1(x410)) + x378)
p521_fiat64.go#L691: x414, x415 = bits.Add64(x359, x395, uint64(p521Uint1(x413)))
p521_fiat64.go#L694: x416, x417 = bits.Add64(x361, x397, uint64(p521Uint1(x415)))
p521_fiat64.go#L697: x418, x419 = bits.Add64(x363, x399, uint64(p521Uint1(x417)))
p521_fiat64.go#L700: x420, x421 = bits.Add64(x365, x401, uint64(p521Uint1(x419)))
p521_fiat64.go#L703: x422, x423 = bits.Add64(x367, x403, uint64(p521Uint1(x421)))
p521_fiat64.go#L706: x424, x425 = bits.Add64(x369, x405, uint64(p521Uint1(x423)))
p521_fiat64.go#L709: x426, x427 = bits.Add64(x371, x407, uint64(p521Uint1(x425)))
p521_fiat64.go#L712: x428, x429 = bits.Add64(x373, x409, uint64(p521Uint1(x427)))
p521_fiat64.go#L715: x430, x431 = bits.Add64(x375, x411, uint64(p521Uint1(x429)))
p521_fiat64.go#L716: x432 := (uint64(p521Uint1(x431)) + uint64(p521Uint1(x376)))
p521_fiat64.go#L749: x453, x454 = bits.Add64(x448, x445, uint64(p521Uint1(x452)))
p521_fiat64.go#L752: x455, x456 = bits.Add64(x446, x443, uint64(p521Uint1(x454)))
p521_fiat64.go#L755: x457, x458 = bits.Add64(x444, x441, uint64(p521Uint1(x456)))
p521_fiat64.go#L758: x459, x460 = bits.Add64(x442, x439, uint64(p521Uint1(x458)))
p521_fiat64.go#L761: x461, x462 = bits.Add64(x440, x437, uint64(p521Uint1(x460)))
p521_fiat64.go#L764: x463, x464 = bits.Add64(x438, x435, uint64(p521Uint1(x462)))
p521_fiat64.go#L767: x465, x466 = bits.Add64(x436, x433, uint64(p521Uint1(x464)))
p521_fiat64.go#L768: x467 := (uint64(p521Uint1(x466)) + x434)
p521_fiat64.go#L774: x470, x471 = bits.Add64(x416, x451, uint64(p521Uint1(x469)))
p521_fiat64.go#L777: x472, x473 = bits.Add64(x418, x453, uint64(p521Uint1(x471)))
p521_fiat64.go#L780: x474, x475 = bits.Add64(x420, x455, uint64(p521Uint1(x473)))
p521_fiat64.go#L783: x476, x477 = bits.Add64(x422, x457, uint64(p521Uint1(x475)))
p521_fiat64.go#L786: x478, x479 = bits.Add64(x424, x459, uint64(p521Uint1(x477)))
p521_fiat64.go#L789: x480, x481 = bits.Add64(x426, x461, uint64(p521Uint1(x479)))
p521_fiat64.go#L792: x482, x483 = bits.Add64(x428, x463, uint64(p521Uint1(x481)))
p521_fiat64.go#L795: x484, x485 = bits.Add64(x430, x465, uint64(p521Uint1(x483)))
p521_fiat64.go#L798: x486, x487 = bits.Add64(x432, x467, uint64(p521Uint1(x485)))
p521_fiat64.go#L831: x508, x509 = bits.Add64(x503, x500, uint64(p521Uint1(x507)))
p521_fiat64.go#L834: x510, x511 = bits.Add64(x501, x498, uint64(p521Uint1(x509)))
p521_fiat64.go#L837: x512, x513 = bits.Add64(x499, x496, uint64(p521Uint1(x511)))
p521_fiat64.go#L840: x514, x515 = bits.Add64(x497, x494, uint64(p521Uint1(x513)))
p521_fiat64.go#L843: x516, x517 = bits.Add64(x495, x492, uint64(p521Uint1(x515)))
p521_fiat64.go#L846: x518, x519 = bits.Add64(x493, x490, uint64(p521Uint1(x517)))
p521_fiat64.go#L849: x520, x521 = bits.Add64(x491, x488, uint64(p521Uint1(x519)))
p521_fiat64.go#L850: x522 := (uint64(p521Uint1(x521)) + x489)
p521_fiat64.go#L855: x525, x526 = bits.Add64(x470, x506, uint64(p521Uint1(x524)))
p521_fiat64.go#L858: x527, x528 = bits.Add64(x472, x508, uint64(p521Uint1(x526)))
p521_fiat64.go#L861: x529, x530 = bits.Add64(x474, x510, uint64(p521Uint1(x528)))
p521_fiat64.go#L864: x531, x532 = bits.Add64(x476, x512, uint64(p521Uint1(x530)))
p521_fiat64.go#L867: x533, x534 = bits.Add64(x478, x514, uint64(p521Uint1(x532)))
p521_fiat64.go#L870: x535, x536 = bits.Add64(x480, x516, uint64(p521Uint1(x534)))
p521_fiat64.go#L873: x537, x538 = bits.Add64(x482, x518, uint64(p521Uint1(x536)))
p521_fiat64.go#L876: x539, x540 = bits.Add64(x484, x520, uint64(p521Uint1(x538)))
p521_fiat64.go#L879: x541, x542 = bits.Add64(x486, x522, uint64(p521Uint1(x540)))
p521_fiat64.go#L880: x543 := (uint64(p521Uint1(x542)) + uint64(p521Uint1(x487)))
p521_fiat64.go#L913: x564, x565 = bits.Add64(x559, x556, uint64(p521Uint1(x563)))
p521_fiat64.go#L916: x566, x567 = bits.Add64(x557, x554, uint64(p521Uint1(x565)))
p521_fiat64.go#L919: x568, x569 = bits.Add64(x555, x552, uint64(p521Uint1(x567)))
p521_fiat64.go#L922: x570, x571 = bits.Add64(x553, x550, uint64(p521Uint1(x569)))
p521_fiat64.go#L925: x572, x573 = bits.Add64(x551, x548, uint64(p521Uint1(x571)))
p521_fiat64.go#L928: x574, x575 = bits.Add64(x549, x546, uint64(p521Uint1(x573)))
p521_fiat64.go#L931: x576, x577 = bits.Add64(x547, x544, uint64(p521Uint1(x575)))
p521_fiat64.go#L932: x578 := (uint64(p521Uint1(x577)) + x545)
p521_fiat64.go#L938: x581, x582 = bits.Add64(x527, x562, uint64(p521Uint1(x580)))
p521_fiat64.go#L941: x583, x584 = bits.Add64(x529, x564, uint64(p521Uint1(x582)))
p521_fiat64.go#L944: x585, x586 = bits.Add64(x531, x566, uint64(p521Uint1(x584)))
p521_fiat64.go#L947: x587, x588 = bits.Add64(x533, x568, uint64(p521Uint1(x586)))
p521_fiat64.go#L950: x589, x590 = bits.Add64(x535, x570, uint64(p521Uint1(x588)))
p521_fiat64.go#L953: x591, x592 = bits.Add64(x537, x572, uint64(p521Uint1(x590)))
p521_fiat64.go#L956: x593, x594 = bits.Add64(x539, x574, uint64(p521Uint1(x592)))
p521_fiat64.go#L959: x595, x596 = bits.Add64(x541, x576, uint64(p521Uint1(x594)))
p521_fiat64.go#L962: x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
p521_fiat64.go#L995: x619, x620 = bits.Add64(x614, x611, uint64(p521Uint1(x618)))
p521_fiat64.go#L998: x621, x622 = bits.Add64(x612, x609, uint64(p521Uint1(x620)))
p521_fiat64.go#L1001: x623, x624 = bits.Add64(x610, x607, uint64(p521Uint1(x622)))
p521_fiat64.go#L1004: x625, x626 = bits.Add64(x608, x605, uint64(p521Uint1(x624)))
p521_fiat64.go#L1007: x627, x628 = bits.Add64(x606, x603, uint64(p521Uint1(x626)))
p521_fiat64.go#L1010: x629, x630 = bits.Add64(x604, x601, uint64(p521Uint1(x628)))
p521_fiat64.go#L1013: x631, x632 = bits.Add64(x602, x599, uint64(p521Uint1(x630)))
p521_fiat64.go#L1014: x633 := (uint64(p521Uint1(x632)) + x600)
p521_fiat64.go#L1019: x636, x637 = bits.Add64(x581, x617, uint64(p521Uint1(x635)))
p521_fiat64.go#L1022: x638, x639 = bits.Add64(x583, x619, uint64(p521Uint1(x637)))
p521_fiat64.go#L1025: x640, x641 = bits.Add64(x585, x621, uint64(p521Uint1(x639)))
p521_fiat64.go#L1028: x642, x643 = bits.Add64(x587, x623, uint64(p521Uint1(x641)))
p521_fiat64.go#L1031: x644, x645 = bits.Add64(x589, x625, uint64(p521Uint1(x643)))
p521_fiat64.go#L1034: x646, x647 = bits.Add64(x591, x627, uint64(p521Uint1(x645)))
p521_fiat64.go#L1037: x648, x649 = bits.Add64(x593, x629, uint64(p521Uint1(x647)))
p521_fiat64.go#L1040: x650, x651 = bits.Add64(x595, x631, uint64(p521Uint1(x649)))
p521_fiat64.go#L1043: x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
p521_fiat64.go#L1044: x654 := (uint64(p521Uint1(x653)) + uint64(p521Uint1(x598)))
p521_fiat64.go#L1077: x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
p521_fiat64.go#L1080: x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
p521_fiat64.go#L1083: x679, x680 = bits.Add64(x666, x663, uint64(p521Uint1(x678)))
p521_fiat64.go#L1086: x681, x682 = bits.Add64(x664, x661, uint64(p521Uint1(x680)))
p521_fiat64.go#L1089: x683, x684 = bits.Add64(x662, x659, uint64(p521Uint1(x682)))
p521_fiat64.go#L1092: x685, x686 = bits.Add64(x660, x657, uint64(p521Uint1(x684)))
p521_fiat64.go#L1095: x687, x688 = bits.Add64(x658, x655, uint64(p521Uint1(x686)))
p521_fiat64.go#L1096: x689 := (uint64(p521Uint1(x688)) + x656)
p521_fiat64.go#L1102: x692, x693 = bits.Add64(x638, x673, uint64(p521Uint1(x691)))
p521_fiat64.go#L1105: x694, x695 = bits.Add64(x640, x675, uint64(p521Uint1(x693)))
p521_fiat64.go#L1108: x696, x697 = bits.Add64(x642, x677, uint64(p521Uint1(x695)))
p521_fiat64.go#L1111: x698, x699 = bits.Add64(x644, x679, uint64(p521Uint1(x697)))
p521_fiat64.go#L1114: x700, x701 = bits.Add64(x646, x681, uint64(p521Uint1(x699)))
p521_fiat64.go#L1117: x702, x703 = bits.Add64(x648, x683, uint64(p521Uint1(x701)))
p521_fiat64.go#L1120: x704, x705 = bits.Add64(x650, x685, uint64(p521Uint1(x703)))
p521_fiat64.go#L1123: x706, x707 = bits.Add64(x652, x687, uint64(p521Uint1(x705)))
p521_fiat64.go#L1126: x708, x709 = bits.Add64(x654, x689, uint64(p521Uint1(x707)))
p521_fiat64.go#L1159: x730, x731 = bits.Add64(x725, x722, uint64(p521Uint1(x729)))
p521_fiat64.go#L1162: x732, x733 = bits.Add64(x723, x720, uint64(p521Uint1(x731)))
p521_fiat64.go#L1165: x734, x735 = bits.Add64(x721, x718, uint64(p521Uint1(x733)))
p521_fiat64.go#L1168: x736, x737 = bits.Add64(x719, x716, uint64(p521Uint1(x735)))
p521_fiat64.go#L1171: x738, x739 = bits.Add64(x717, x714, uint64(p521Uint1(x737)))
p521_fiat64.go#L1174: x740, x741 = bits.Add64(x715, x712, uint64(p521Uint1(x739)))
p521_fiat64.go#L1177: x742, x743 = bits.Add64(x713, x710, uint64(p521Uint1(x741)))
p521_fiat64.go#L1178: x744 := (uint64(p521Uint1(x743)) + x711)
p521_fiat64.go#L1183: x747, x748 = bits.Add64(x692, x728, uint64(p521Uint1(x746)))
p521_fiat64.go#L1186: x749, x750 = bits.Add64(x694, x730, uint64(p521Uint1(x748)))
p521_fiat64.go#L1189: x751, x752 = bits.Add64(x696, x732, uint64(p521Uint1(x750)))
p521_fiat64.go#L1192: x753, x754 = bits.Add64(x698, x734, uint64(p521Uint1(x752)))
p521_fiat64.go#L1195: x755, x756 = bits.Add64(x700, x736, uint64(p521Uint1(x754)))
p521_fiat64.go#L1198: x757, x758 = bits.Add64(x702, x738, uint64(p521Uint1(x756)))
p521_fiat64.go#L1201: x759, x760 = bits.Add64(x704, x740, uint64(p521Uint1(x758)))
p521_fiat64.go#L1204: x761, x762 = bits.Add64(x706, x742, uint64(p521Uint1(x760)))
p521_fiat64.go#L1207: x763, x764 = bits.Add64(x708, x744, uint64(p521Uint1(x762)))
p521_fiat64.go#L1208: x765 := (uint64(p521Uint1(x764)) + uint64(p521Uint1(x709)))
p521_fiat64.go#L1241: x786, x787 = bits.Add64(x781, x778, uint64(p521Uint1(x785)))
p521_fiat64.go#L1244: x788, x789 = bits.Add64(x779, x776, uint64(p521Uint1(x787)))
p521_fiat64.go#L1247: x790, x791 = bits.Add64(x777, x774, uint64(p521Uint1(x789)))
p521_fiat64.go#L1250: x792, x793 = bits.Add64(x775, x772, uint64(p521Uint1(x791)))
p521_fiat64.go#L1253: x794, x795 = bits.Add64(x773, x770, uint64(p521Uint1(x793)))
p521_fiat64.go#L1256: x796, x797 = bits.Add64(x771, x768, uint64(p521Uint1(x795)))
p521_fiat64.go#L1259: x798, x799 = bits.Add64(x769, x766, uint64(p521Uint1(x797)))
p521_fiat64.go#L1260: x800 := (uint64(p521Uint1(x799)) + x767)
p521_fiat64.go#L1266: x803, x804 = bits.Add64(x749, x784, uint64(p521Uint1(x802)))
p521_fiat64.go#L1269: x805, x806 = bits.Add64(x751, x786, uint64(p521Uint1(x804)))
p521_fiat64.go#L1272: x807, x808 = bits.Add64(x753, x788, uint64(p521Uint1(x806)))
p521_fiat64.go#L1275: x809, x810 = bits.Add64(x755, x790, uint64(p521Uint1(x808)))
p521_fiat64.go#L1278: x811, x812 = bits.Add64(x757, x792, uint64(p521Uint1(x810)))
p521_fiat64.go#L1281: x813, x814 = bits.Add64(x759, x794, uint64(p521Uint1(x812)))
p521_fiat64.go#L1284: x815, x816 = bits.Add64(x761, x796, uint64(p521Uint1(x814)))
p521_fiat64.go#L1287: x817, x818 = bits.Add64(x763, x798, uint64(p521Uint1(x816)))
p521_fiat64.go#L1290: x819, x820 = bits.Add64(x765, x800, uint64(p521Uint1(x818)))
p521_fiat64.go#L1323: x841, x842 = bits.Add64(x836, x833, uint64(p521Uint1(x840)))
p521_fiat64.go#L1326: x843, x844 = bits.Add64(x834, x831, uint64(p521Uint1(x842)))
p521_fiat64.go#L1329: x845, x846 = bits.Add64(x832, x829, uint64(p521Uint1(x844)))
p521_fiat64.go#L1332: x847, x848 = bits.Add64(x830, x827, uint64(p521Uint1(x846)))
p521_fiat64.go#L1335: x849, x850 = bits.Add64(x828, x825, uint64(p521Uint1(x848)))
p521_fiat64.go#L1338: x851, x852 = bits.Add64(x826, x823, uint64(p521Uint1(x850)))
p521_fiat64.go#L1341: x853, x854 = bits.Add64(x824, x821, uint64(p521Uint1(x852)))
p521_fiat64.go#L1342: x855 := (uint64(p521Uint1(x854)) + x822)
p521_fiat64.go#L1347: x858, x859 = bits.Add64(x803, x839, uint64(p521Uint1(x857)))
p521_fiat64.go#L1350: x860, x861 = bits.Add64(x805, x841, uint64(p521Uint1(x859)))
p521_fiat64.go#L1353: x862, x863 = bits.Add64(x807, x843, uint64(p521Uint1(x861)))
p521_fiat64.go#L1356: x864, x865 = bits.Add64(x809, x845, uint64(p521Uint1(x863)))
p521_fiat64.go#L1359: x866, x867 = bits.Add64(x811, x847, uint64(p521Uint1(x865)))
p521_fiat64.go#L1362: x868, x869 = bits.Add64(x813, x849, uint64(p521Uint1(x867)))
p521_fiat64.go#L1365: x870, x871 = bits.Add64(x815, x851, uint64(p521Uint1(x869)))
p521_fiat64.go#L1368: x872, x873 = bits.Add64(x817, x853, uint64(p521Uint1(x871)))
p521_fiat64.go#L1371: x874, x875 = bits.Add64(x819, x855, uint64(p521Uint1(x873)))
p521_fiat64.go#L1372: x876 := (uint64(p521Uint1(x875)) + uint64(p521Uint1(x820)))
p521_fiat64.go#L1405: x897, x898 = bits.Add64(x892, x889, uint64(p521Uint1(x896)))
p521_fiat64.go#L1408: x899, x900 = bits.Add64(x890, x887, uint64(p521Uint1(x898)))
p521_fiat64.go#L1411: x901, x902 = bits.Add64(x888, x885, uint64(p521Uint1(x900)))
p521_fiat64.go#L1414: x903, x904 = bits.Add64(x886, x883, uint64(p521Uint1(x902)))
p521_fiat64.go#L1417: x905, x906 = bits.Add64(x884, x881, uint64(p521Uint1(x904)))
p521_fiat64.go#L1420: x907, x908 = bits.Add64(x882, x879, uint64(p521Uint1(x906)))
p521_fiat64.go#L1423: x909, x910 = bits.Add64(x880, x877, uint64(p521Uint1(x908)))
p521_fiat64.go#L1424: x911 := (uint64(p521Uint1(x910)) + x878)
p521_fiat64.go#L1430: x914, x915 = bits.Add64(x860, x895, uint64(p521Uint1(x913)))
p521_fiat64.go#L1433: x916, x917 = bits.Add64(x862, x897, uint64(p521Uint1(x915)))
p521_fiat64.go#L1436: x918, x919 = bits.Add64(x864, x899, uint64(p521Uint1(x917)))
p521_fiat64.go#L1439: x920, x921 = bits.Add64(x866, x901, uint64(p521Uint1(x919)))
p521_fiat64.go#L1442: x922, x923 = bits.Add64(x868, x903, uint64(p521Uint1(x921)))
p521_fiat64.go#L1445: x924, x925 = bits.Add64(x870, x905, uint64(p521Uint1(x923)))
p521_fiat64.go#L1448: x926, x927 = bits.Add64(x872, x907, uint64(p521Uint1(x925)))
p521_fiat64.go#L1451: x928, x929 = bits.Add64(x874, x909, uint64(p521Uint1(x927)))
p521_fiat64.go#L1454: x930, x931 = bits.Add64(x876, x911, uint64(p521Uint1(x929)))
p521_fiat64.go#L1487: x952, x953 = bits.Add64(x947, x944, uint64(p521Uint1(x951)))
p521_fiat64.go#L1490: x954, x955 = bits.Add64(x945, x942, uint64(p521Uint1(x953)))
p521_fiat64.go#L1493: x956, x957 = bits.Add64(x943, x940, uint64(p521Uint1(x955)))
p521_fiat64.go#L1496: x958, x959 = bits.Add64(x941, x938, uint64(p521Uint1(x957)))
p521_fiat64.go#L1499: x960, x961 = bits.Add64(x939, x936, uint64(p521Uint1(x959)))
p521_fiat64.go#L1502: x962, x963 = bits.Add64(x937, x934, uint64(p521Uint1(x961)))
p521_fiat64.go#L1505: x964, x965 = bits.Add64(x935, x932, uint64(p521Uint1(x963)))
p521_fiat64.go#L1506: x966 := (uint64(p521Uint1(x965)) + x933)
p521_fiat64.go#L1511: x969, x970 = bits.Add64(x914, x950, uint64(p521Uint1(x968)))
p521_fiat64.go#L1514: x971, x972 = bits.Add64(x916, x952, uint64(p521Uint1(x970)))
p521_fiat64.go#L1517: x973, x974 = bits.Add64(x918, x954, uint64(p521Uint1(x972)))
p521_fiat64.go#L1520: x975, x976 = bits.Add64(x920, x956, uint64(p521Uint1(x974)))
p521_fiat64.go#L1523: x977, x978 = bits.Add64(x922, x958, uint64(p521Uint1(x976)))
p521_fiat64.go#L1526: x979, x980 = bits.Add64(x924, x960, uint64(p521Uint1(x978)))
p521_fiat64.go#L1529: x981, x982 = bits.Add64(x926, x962, uint64(p521Uint1(x980)))
p521_fiat64.go#L1532: x983, x984 = bits.Add64(x928, x964, uint64(p521Uint1(x982)))
p521_fiat64.go#L1535: x985, x986 = bits.Add64(x930, x966, uint64(p521Uint1(x984)))
p521_fiat64.go#L1536: x987 := (uint64(p521Uint1(x986)) + uint64(p521Uint1(x931)))
p521_fiat64.go#L1542: x990, x991 = bits.Sub64(x971, 0xffffffffffffffff, uint64(p521Uint1(x989)))
p521_fiat64.go#L1545: x992, x993 = bits.Sub64(x973, 0xffffffffffffffff, uint64(p521Uint1(x991)))
p521_fiat64.go#L1548: x994, x995 = bits.Sub64(x975, 0xffffffffffffffff, uint64(p521Uint1(x993)))
p521_fiat64.go#L1551: x996, x997 = bits.Sub64(x977, 0xffffffffffffffff, uint64(p521Uint1(x995)))
p521_fiat64.go#L1554: x998, x999 = bits.Sub64(x979, 0xffffffffffffffff, uint64(p521Uint1(x997)))
p521_fiat64.go#L1557: x1000, x1001 = bits.Sub64(x981, 0xffffffffffffffff, uint64(p521Uint1(x999)))
p521_fiat64.go#L1560: x1002, x1003 = bits.Sub64(x983, 0xffffffffffffffff, uint64(p521Uint1(x1001)))
p521_fiat64.go#L1563: x1004, x1005 = bits.Sub64(x985, 0x1ff, uint64(p521Uint1(x1003)))
p521_fiat64.go#L1565: _, x1007 = bits.Sub64(x987, uint64(0x0), uint64(p521Uint1(x1005)))
p521_fiat64.go#L1567: p521CmovznzU64(&x1008, p521Uint1(x1007), x988, x969)
p521_fiat64.go#L1569: p521CmovznzU64(&x1009, p521Uint1(x1007), x990, x971)
p521_fiat64.go#L1571: p521CmovznzU64(&x1010, p521Uint1(x1007), x992, x973)
p521_fiat64.go#L1573: p521CmovznzU64(&x1011, p521Uint1(x1007), x994, x975)
p521_fiat64.go#L1575: p521CmovznzU64(&x1012, p521Uint1(x1007), x996, x977)
p521_fiat64.go#L1577: p521CmovznzU64(&x1013, p521Uint1(x1007), x998, x979)
p521_fiat64.go#L1579: p521CmovznzU64(&x1014, p521Uint1(x1007), x1000, x981)
p521_fiat64.go#L1581: p521CmovznzU64(&x1015, p521Uint1(x1007), x1002, x983)
p521_fiat64.go#L1583: p521CmovznzU64(&x1016, p521Uint1(x1007), x1004, x985)
p521_fiat64.go#L1645: x30, x31 = bits.Add64(x25, x22, uint64(p521Uint1(x29)))
p521_fiat64.go#L1648: x32, x33 = bits.Add64(x23, x20, uint64(p521Uint1(x31)))
p521_fiat64.go#L1651: x34, x35 = bits.Add64(x21, x18, uint64(p521Uint1(x33)))
p521_fiat64.go#L1654: x36, x37 = bits.Add64(x19, x16, uint64(p521Uint1(x35)))
p521_fiat64.go#L1657: x38, x39 = bits.Add64(x17, x14, uint64(p521Uint1(x37)))
p521_fiat64.go#L1660: x40, x41 = bits.Add64(x15, x12, uint64(p521Uint1(x39)))
p521_fiat64.go#L1663: x42, x43 = bits.Add64(x13, x10, uint64(p521Uint1(x41)))
p521_fiat64.go#L1664: x44 := (uint64(p521Uint1(x43)) + x11)
p521_fiat64.go#L1697: x65, x66 = bits.Add64(x60, x57, uint64(p521Uint1(x64)))
p521_fiat64.go#L1700: x67, x68 = bits.Add64(x58, x55, uint64(p521Uint1(x66)))
p521_fiat64.go#L1703: x69, x70 = bits.Add64(x56, x53, uint64(p521Uint1(x68)))
p521_fiat64.go#L1706: x71, x72 = bits.Add64(x54, x51, uint64(p521Uint1(x70)))
p521_fiat64.go#L1709: x73, x74 = bits.Add64(x52, x49, uint64(p521Uint1(x72)))
p521_fiat64.go#L1712: x75, x76 = bits.Add64(x50, x47, uint64(p521Uint1(x74)))
p521_fiat64.go#L1715: x77, x78 = bits.Add64(x48, x45, uint64(p521Uint1(x76)))
p521_fiat64.go#L1716: x79 := (uint64(p521Uint1(x78)) + x46)
p521_fiat64.go#L1721: x82, x83 = bits.Add64(x28, x63, uint64(p521Uint1(x81)))
p521_fiat64.go#L1724: x84, x85 = bits.Add64(x30, x65, uint64(p521Uint1(x83)))
p521_fiat64.go#L1727: x86, x87 = bits.Add64(x32, x67, uint64(p521Uint1(x85)))
p521_fiat64.go#L1730: x88, x89 = bits.Add64(x34, x69, uint64(p521Uint1(x87)))
p521_fiat64.go#L1733: x90, x91 = bits.Add64(x36, x71, uint64(p521Uint1(x89)))
p521_fiat64.go#L1736: x92, x93 = bits.Add64(x38, x73, uint64(p521Uint1(x91)))
p521_fiat64.go#L1739: x94, x95 = bits.Add64(x40, x75, uint64(p521Uint1(x93)))
p521_fiat64.go#L1742: x96, x97 = bits.Add64(x42, x77, uint64(p521Uint1(x95)))
p521_fiat64.go#L1745: x98, x99 = bits.Add64(x44, x79, uint64(p521Uint1(x97)))
p521_fiat64.go#L1778: x120, x121 = bits.Add64(x115, x112, uint64(p521Uint1(x119)))
p521_fiat64.go#L1781: x122, x123 = bits.Add64(x113, x110, uint64(p521Uint1(x121)))
p521_fiat64.go#L1784: x124, x125 = bits.Add64(x111, x108, uint64(p521Uint1(x123)))
p521_fiat64.go#L1787: x126, x127 = bits.Add64(x109, x106, uint64(p521Uint1(x125)))
p521_fiat64.go#L1790: x128, x129 = bits.Add64(x107, x104, uint64(p521Uint1(x127)))
p521_fiat64.go#L1793: x130, x131 = bits.Add64(x105, x102, uint64(p521Uint1(x129)))
p521_fiat64.go#L1796: x132, x133 = bits.Add64(x103, x100, uint64(p521Uint1(x131)))
p521_fiat64.go#L1797: x134 := (uint64(p521Uint1(x133)) + x101)
p521_fiat64.go#L1803: x137, x138 = bits.Add64(x84, x118, uint64(p521Uint1(x136)))
p521_fiat64.go#L1806: x139, x140 = bits.Add64(x86, x120, uint64(p521Uint1(x138)))
p521_fiat64.go#L1809: x141, x142 = bits.Add64(x88, x122, uint64(p521Uint1(x140)))
p521_fiat64.go#L1812: x143, x144 = bits.Add64(x90, x124, uint64(p521Uint1(x142)))
p521_fiat64.go#L1815: x145, x146 = bits.Add64(x92, x126, uint64(p521Uint1(x144)))
p521_fiat64.go#L1818: x147, x148 = bits.Add64(x94, x128, uint64(p521Uint1(x146)))
p521_fiat64.go#L1821: x149, x150 = bits.Add64(x96, x130, uint64(p521Uint1(x148)))
p521_fiat64.go#L1824: x151, x152 = bits.Add64(x98, x132, uint64(p521Uint1(x150)))
p521_fiat64.go#L1827: x153, x154 = bits.Add64(uint64(p521Uint1(x99)), x134, uint64(p521Uint1(x152)))
p521_fiat64.go#L1860: x175, x176 = bits.Add64(x170, x167, uint64(p521Uint1(x174)))
p521_fiat64.go#L1863: x177, x178 = bits.Add64(x168, x165, uint64(p521Uint1(x176)))
p521_fiat64.go#L1866: x179, x180 = bits.Add64(x166, x163, uint64(p521Uint1(x178)))
p521_fiat64.go#L1869: x181, x182 = bits.Add64(x164, x161, uint64(p521Uint1(x180)))
p521_fiat64.go#L1872: x183, x184 = bits.Add64(x162, x159, uint64(p521Uint1(x182)))
p521_fiat64.go#L1875: x185, x186 = bits.Add64(x160, x157, uint64(p521Uint1(x184)))
p521_fiat64.go#L1878: x187, x188 = bits.Add64(x158, x155, uint64(p521Uint1(x186)))
p521_fiat64.go#L1879: x189 := (uint64(p521Uint1(x188)) + x156)
p521_fiat64.go#L1884: x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))
p521_fiat64.go#L1887: x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
p521_fiat64.go#L1890: x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
p521_fiat64.go#L1893: x198, x199 = bits.Add64(x143, x179, uint64(p521Uint1(x197)))
p521_fiat64.go#L1896: x200, x201 = bits.Add64(x145, x181, uint64(p521Uint1(x199)))
p521_fiat64.go#L1899: x202, x203 = bits.Add64(x147, x183, uint64(p521Uint1(x201)))
p521_fiat64.go#L1902: x204, x205 = bits.Add64(x149, x185, uint64(p521Uint1(x203)))
p521_fiat64.go#L1905: x206, x207 = bits.Add64(x151, x187, uint64(p521Uint1(x205)))
p521_fiat64.go#L1908: x208, x209 = bits.Add64(x153, x189, uint64(p521Uint1(x207)))
p521_fiat64.go#L1909: x210 := (uint64(p521Uint1(x209)) + uint64(p521Uint1(x154)))
p521_fiat64.go#L1942: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L1945: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L1948: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L1951: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L1954: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L1957: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L1960: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L1961: x245 := (uint64(p521Uint1(x244)) + x212)
p521_fiat64.go#L1967: x248, x249 = bits.Add64(x194, x229, uint64(p521Uint1(x247)))
p521_fiat64.go#L1970: x250, x251 = bits.Add64(x196, x231, uint64(p521Uint1(x249)))
p521_fiat64.go#L1973: x252, x253 = bits.Add64(x198, x233, uint64(p521Uint1(x251)))
p521_fiat64.go#L1976: x254, x255 = bits.Add64(x200, x235, uint64(p521Uint1(x253)))
p521_fiat64.go#L1979: x256, x257 = bits.Add64(x202, x237, uint64(p521Uint1(x255)))
p521_fiat64.go#L1982: x258, x259 = bits.Add64(x204, x239, uint64(p521Uint1(x257)))
p521_fiat64.go#L1985: x260, x261 = bits.Add64(x206, x241, uint64(p521Uint1(x259)))
p521_fiat64.go#L1988: x262, x263 = bits.Add64(x208, x243, uint64(p521Uint1(x261)))
p521_fiat64.go#L1991: x264, x265 = bits.Add64(x210, x245, uint64(p521Uint1(x263)))
p521_fiat64.go#L2024: x286, x287 = bits.Add64(x281, x278, uint64(p521Uint1(x285)))
p521_fiat64.go#L2027: x288, x289 = bits.Add64(x279, x276, uint64(p521Uint1(x287)))
p521_fiat64.go#L2030: x290, x291 = bits.Add64(x277, x274, uint64(p521Uint1(x289)))
p521_fiat64.go#L2033: x292, x293 = bits.Add64(x275, x272, uint64(p521Uint1(x291)))
p521_fiat64.go#L2036: x294, x295 = bits.Add64(x273, x270, uint64(p521Uint1(x293)))
p521_fiat64.go#L2039: x296, x297 = bits.Add64(x271, x268, uint64(p521Uint1(x295)))
p521_fiat64.go#L2042: x298, x299 = bits.Add64(x269, x266, uint64(p521Uint1(x297)))
p521_fiat64.go#L2043: x300 := (uint64(p521Uint1(x299)) + x267)
p521_fiat64.go#L2048: x303, x304 = bits.Add64(x248, x284, uint64(p521Uint1(x302)))
p521_fiat64.go#L2051: x305, x306 = bits.Add64(x250, x286, uint64(p521Uint1(x304)))
p521_fiat64.go#L2054: x307, x308 = bits.Add64(x252, x288, uint64(p521Uint1(x306)))
p521_fiat64.go#L2057: x309, x310 = bits.Add64(x254, x290, uint64(p521Uint1(x308)))
p521_fiat64.go#L2060: x311, x312 = bits.Add64(x256, x292, uint64(p521Uint1(x310)))
p521_fiat64.go#L2063: x313, x314 = bits.Add64(x258, x294, uint64(p521Uint1(x312)))
p521_fiat64.go#L2066: x315, x316 = bits.Add64(x260, x296, uint64(p521Uint1(x314)))
p521_fiat64.go#L2069: x317, x318 = bits.Add64(x262, x298, uint64(p521Uint1(x316)))
p521_fiat64.go#L2072: x319, x320 = bits.Add64(x264, x300, uint64(p521Uint1(x318)))
p521_fiat64.go#L2073: x321 := (uint64(p521Uint1(x320)) + uint64(p521Uint1(x265)))
p521_fiat64.go#L2106: x342, x343 = bits.Add64(x337, x334, uint64(p521Uint1(x341)))
p521_fiat64.go#L2109: x344, x345 = bits.Add64(x335, x332, uint64(p521Uint1(x343)))
p521_fiat64.go#L2112: x346, x347 = bits.Add64(x333, x330, uint64(p521Uint1(x345)))
p521_fiat64.go#L2115: x348, x349 = bits.Add64(x331, x328, uint64(p521Uint1(x347)))
p521_fiat64.go#L2118: x350, x351 = bits.Add64(x329, x326, uint64(p521Uint1(x349)))
p521_fiat64.go#L2121: x352, x353 = bits.Add64(x327, x324, uint64(p521Uint1(x351)))
p521_fiat64.go#L2124: x354, x355 = bits.Add64(x325, x322, uint64(p521Uint1(x353)))
p521_fiat64.go#L2125: x356 := (uint64(p521Uint1(x355)) + x323)
p521_fiat64.go#L2131: x359, x360 = bits.Add64(x305, x340, uint64(p521Uint1(x358)))
p521_fiat64.go#L2134: x361, x362 = bits.Add64(x307, x342, uint64(p521Uint1(x360)))
p521_fiat64.go#L2137: x363, x364 = bits.Add64(x309, x344, uint64(p521Uint1(x362)))
p521_fiat64.go#L2140: x365, x366 = bits.Add64(x311, x346, uint64(p521Uint1(x364)))
p521_fiat64.go#L2143: x367, x368 = bits.Add64(x313, x348, uint64(p521Uint1(x366)))
p521_fiat64.go#L2146: x369, x370 = bits.Add64(x315, x350, uint64(p521Uint1(x368)))
p521_fiat64.go#L2149: x371, x372 = bits.Add64(x317, x352, uint64(p521Uint1(x370)))
p521_fiat64.go#L2152: x373, x374 = bits.Add64(x319, x354, uint64(p521Uint1(x372)))
p521_fiat64.go#L2155: x375, x376 = bits.Add64(x321, x356, uint64(p521Uint1(x374)))
p521_fiat64.go#L2188: x397, x398 = bits.Add64(x392, x389, uint64(p521Uint1(x396)))
p521_fiat64.go#L2191: x399, x400 = bits.Add64(x390, x387, uint64(p521Uint1(x398)))
p521_fiat64.go#L2194: x401, x402 = bits.Add64(x388, x385, uint64(p521Uint1(x400)))
p521_fiat64.go#L2197: x403, x404 = bits.Add64(x386, x383, uint64(p521Uint1(x402)))
p521_fiat64.go#L2200: x405, x406 = bits.Add64(x384, x381, uint64(p521Uint1(x404)))
p521_fiat64.go#L2203: x407, x408 = bits.Add64(x382, x379, uint64(p521Uint1(x406)))
p521_fiat64.go#L2206: x409, x410 = bits.Add64(x380, x377, uint64(p521Uint1(x408)))
p521_fiat64.go#L2207: x411 := (uint64(p521Uint1(x410)) + x378)
p521_fiat64.go#L2212: x414, x415 = bits.Add64(x359, x395, uint64(p521Uint1(x413)))
p521_fiat64.go#L2215: x416, x417 = bits.Add64(x361, x397, uint64(p521Uint1(x415)))
p521_fiat64.go#L2218: x418, x419 = bits.Add64(x363, x399, uint64(p521Uint1(x417)))
p521_fiat64.go#L2221: x420, x421 = bits.Add64(x365, x401, uint64(p521Uint1(x419)))
p521_fiat64.go#L2224: x422, x423 = bits.Add64(x367, x403, uint64(p521Uint1(x421)))
p521_fiat64.go#L2227: x424, x425 = bits.Add64(x369, x405, uint64(p521Uint1(x423)))
p521_fiat64.go#L2230: x426, x427 = bits.Add64(x371, x407, uint64(p521Uint1(x425)))
p521_fiat64.go#L2233: x428, x429 = bits.Add64(x373, x409, uint64(p521Uint1(x427)))
p521_fiat64.go#L2236: x430, x431 = bits.Add64(x375, x411, uint64(p521Uint1(x429)))
p521_fiat64.go#L2237: x432 := (uint64(p521Uint1(x431)) + uint64(p521Uint1(x376)))
p521_fiat64.go#L2270: x453, x454 = bits.Add64(x448, x445, uint64(p521Uint1(x452)))
p521_fiat64.go#L2273: x455, x456 = bits.Add64(x446, x443, uint64(p521Uint1(x454)))
p521_fiat64.go#L2276: x457, x458 = bits.Add64(x444, x441, uint64(p521Uint1(x456)))
p521_fiat64.go#L2279: x459, x460 = bits.Add64(x442, x439, uint64(p521Uint1(x458)))
p521_fiat64.go#L2282: x461, x462 = bits.Add64(x440, x437, uint64(p521Uint1(x460)))
p521_fiat64.go#L2285: x463, x464 = bits.Add64(x438, x435, uint64(p521Uint1(x462)))
p521_fiat64.go#L2288: x465, x466 = bits.Add64(x436, x433, uint64(p521Uint1(x464)))
p521_fiat64.go#L2289: x467 := (uint64(p521Uint1(x466)) + x434)
p521_fiat64.go#L2295: x470, x471 = bits.Add64(x416, x451, uint64(p521Uint1(x469)))
p521_fiat64.go#L2298: x472, x473 = bits.Add64(x418, x453, uint64(p521Uint1(x471)))
p521_fiat64.go#L2301: x474, x475 = bits.Add64(x420, x455, uint64(p521Uint1(x473)))
p521_fiat64.go#L2304: x476, x477 = bits.Add64(x422, x457, uint64(p521Uint1(x475)))
p521_fiat64.go#L2307: x478, x479 = bits.Add64(x424, x459, uint64(p521Uint1(x477)))
p521_fiat64.go#L2310: x480, x481 = bits.Add64(x426, x461, uint64(p521Uint1(x479)))
p521_fiat64.go#L2313: x482, x483 = bits.Add64(x428, x463, uint64(p521Uint1(x481)))
p521_fiat64.go#L2316: x484, x485 = bits.Add64(x430, x465, uint64(p521Uint1(x483)))
p521_fiat64.go#L2319: x486, x487 = bits.Add64(x432, x467, uint64(p521Uint1(x485)))
p521_fiat64.go#L2352: x508, x509 = bits.Add64(x503, x500, uint64(p521Uint1(x507)))
p521_fiat64.go#L2355: x510, x511 = bits.Add64(x501, x498, uint64(p521Uint1(x509)))
p521_fiat64.go#L2358: x512, x513 = bits.Add64(x499, x496, uint64(p521Uint1(x511)))
p521_fiat64.go#L2361: x514, x515 = bits.Add64(x497, x494, uint64(p521Uint1(x513)))
p521_fiat64.go#L2364: x516, x517 = bits.Add64(x495, x492, uint64(p521Uint1(x515)))
p521_fiat64.go#L2367: x518, x519 = bits.Add64(x493, x490, uint64(p521Uint1(x517)))
p521_fiat64.go#L2370: x520, x521 = bits.Add64(x491, x488, uint64(p521Uint1(x519)))
p521_fiat64.go#L2371: x522 := (uint64(p521Uint1(x521)) + x489)
p521_fiat64.go#L2376: x525, x526 = bits.Add64(x470, x506, uint64(p521Uint1(x524)))
p521_fiat64.go#L2379: x527, x528 = bits.Add64(x472, x508, uint64(p521Uint1(x526)))
p521_fiat64.go#L2382: x529, x530 = bits.Add64(x474, x510, uint64(p521Uint1(x528)))
p521_fiat64.go#L2385: x531, x532 = bits.Add64(x476, x512, uint64(p521Uint1(x530)))
p521_fiat64.go#L2388: x533, x534 = bits.Add64(x478, x514, uint64(p521Uint1(x532)))
p521_fiat64.go#L2391: x535, x536 = bits.Add64(x480, x516, uint64(p521Uint1(x534)))
p521_fiat64.go#L2394: x537, x538 = bits.Add64(x482, x518, uint64(p521Uint1(x536)))
p521_fiat64.go#L2397: x539, x540 = bits.Add64(x484, x520, uint64(p521Uint1(x538)))
p521_fiat64.go#L2400: x541, x542 = bits.Add64(x486, x522, uint64(p521Uint1(x540)))
p521_fiat64.go#L2401: x543 := (uint64(p521Uint1(x542)) + uint64(p521Uint1(x487)))
p521_fiat64.go#L2434: x564, x565 = bits.Add64(x559, x556, uint64(p521Uint1(x563)))
p521_fiat64.go#L2437: x566, x567 = bits.Add64(x557, x554, uint64(p521Uint1(x565)))
p521_fiat64.go#L2440: x568, x569 = bits.Add64(x555, x552, uint64(p521Uint1(x567)))
p521_fiat64.go#L2443: x570, x571 = bits.Add64(x553, x550, uint64(p521Uint1(x569)))
p521_fiat64.go#L2446: x572, x573 = bits.Add64(x551, x548, uint64(p521Uint1(x571)))
p521_fiat64.go#L2449: x574, x575 = bits.Add64(x549, x546, uint64(p521Uint1(x573)))
p521_fiat64.go#L2452: x576, x577 = bits.Add64(x547, x544, uint64(p521Uint1(x575)))
p521_fiat64.go#L2453: x578 := (uint64(p521Uint1(x577)) + x545)
p521_fiat64.go#L2459: x581, x582 = bits.Add64(x527, x562, uint64(p521Uint1(x580)))
p521_fiat64.go#L2462: x583, x584 = bits.Add64(x529, x564, uint64(p521Uint1(x582)))
p521_fiat64.go#L2465: x585, x586 = bits.Add64(x531, x566, uint64(p521Uint1(x584)))
p521_fiat64.go#L2468: x587, x588 = bits.Add64(x533, x568, uint64(p521Uint1(x586)))
p521_fiat64.go#L2471: x589, x590 = bits.Add64(x535, x570, uint64(p521Uint1(x588)))
p521_fiat64.go#L2474: x591, x592 = bits.Add64(x537, x572, uint64(p521Uint1(x590)))
p521_fiat64.go#L2477: x593, x594 = bits.Add64(x539, x574, uint64(p521Uint1(x592)))
p521_fiat64.go#L2480: x595, x596 = bits.Add64(x541, x576, uint64(p521Uint1(x594)))
p521_fiat64.go#L2483: x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
p521_fiat64.go#L2516: x619, x620 = bits.Add64(x614, x611, uint64(p521Uint1(x618)))
p521_fiat64.go#L2519: x621, x622 = bits.Add64(x612, x609, uint64(p521Uint1(x620)))
p521_fiat64.go#L2522: x623, x624 = bits.Add64(x610, x607, uint64(p521Uint1(x622)))
p521_fiat64.go#L2525: x625, x626 = bits.Add64(x608, x605, uint64(p521Uint1(x624)))
p521_fiat64.go#L2528: x627, x628 = bits.Add64(x606, x603, uint64(p521Uint1(x626)))
p521_fiat64.go#L2531: x629, x630 = bits.Add64(x604, x601, uint64(p521Uint1(x628)))
p521_fiat64.go#L2534: x631, x632 = bits.Add64(x602, x599, uint64(p521Uint1(x630)))
p521_fiat64.go#L2535: x633 := (uint64(p521Uint1(x632)) + x600)
p521_fiat64.go#L2540: x636, x637 = bits.Add64(x581, x617, uint64(p521Uint1(x635)))
p521_fiat64.go#L2543: x638, x639 = bits.Add64(x583, x619, uint64(p521Uint1(x637)))
p521_fiat64.go#L2546: x640, x641 = bits.Add64(x585, x621, uint64(p521Uint1(x639)))
p521_fiat64.go#L2549: x642, x643 = bits.Add64(x587, x623, uint64(p521Uint1(x641)))
p521_fiat64.go#L2552: x644, x645 = bits.Add64(x589, x625, uint64(p521Uint1(x643)))
p521_fiat64.go#L2555: x646, x647 = bits.Add64(x591, x627, uint64(p521Uint1(x645)))
p521_fiat64.go#L2558: x648, x649 = bits.Add64(x593, x629, uint64(p521Uint1(x647)))
p521_fiat64.go#L2561: x650, x651 = bits.Add64(x595, x631, uint64(p521Uint1(x649)))
p521_fiat64.go#L2564: x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
p521_fiat64.go#L2565: x654 := (uint64(p521Uint1(x653)) + uint64(p521Uint1(x598)))
p521_fiat64.go#L2598: x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
p521_fiat64.go#L2601: x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
p521_fiat64.go#L2604: x679, x680 = bits.Add64(x666, x663, uint64(p521Uint1(x678)))
p521_fiat64.go#L2607: x681, x682 = bits.Add64(x664, x661, uint64(p521Uint1(x680)))
p521_fiat64.go#L2610: x683, x684 = bits.Add64(x662, x659, uint64(p521Uint1(x682)))
p521_fiat64.go#L2613: x685, x686 = bits.Add64(x660, x657, uint64(p521Uint1(x684)))
p521_fiat64.go#L2616: x687, x688 = bits.Add64(x658, x655, uint64(p521Uint1(x686)))
p521_fiat64.go#L2617: x689 := (uint64(p521Uint1(x688)) + x656)
p521_fiat64.go#L2623: x692, x693 = bits.Add64(x638, x673, uint64(p521Uint1(x691)))
p521_fiat64.go#L2626: x694, x695 = bits.Add64(x640, x675, uint64(p521Uint1(x693)))
p521_fiat64.go#L2629: x696, x697 = bits.Add64(x642, x677, uint64(p521Uint1(x695)))
p521_fiat64.go#L2632: x698, x699 = bits.Add64(x644, x679, uint64(p521Uint1(x697)))
p521_fiat64.go#L2635: x700, x701 = bits.Add64(x646, x681, uint64(p521Uint1(x699)))
p521_fiat64.go#L2638: x702, x703 = bits.Add64(x648, x683, uint64(p521Uint1(x701)))
p521_fiat64.go#L2641: x704, x705 = bits.Add64(x650, x685, uint64(p521Uint1(x703)))
p521_fiat64.go#L2644: x706, x707 = bits.Add64(x652, x687, uint64(p521Uint1(x705)))
p521_fiat64.go#L2647: x708, x709 = bits.Add64(x654, x689, uint64(p521Uint1(x707)))
p521_fiat64.go#L2680: x730, x731 = bits.Add64(x725, x722, uint64(p521Uint1(x729)))
p521_fiat64.go#L2683: x732, x733 = bits.Add64(x723, x720, uint64(p521Uint1(x731)))
p521_fiat64.go#L2686: x734, x735 = bits.Add64(x721, x718, uint64(p521Uint1(x733)))
p521_fiat64.go#L2689: x736, x737 = bits.Add64(x719, x716, uint64(p521Uint1(x735)))
p521_fiat64.go#L2692: x738, x739 = bits.Add64(x717, x714, uint64(p521Uint1(x737)))
p521_fiat64.go#L2695: x740, x741 = bits.Add64(x715, x712, uint64(p521Uint1(x739)))
p521_fiat64.go#L2698: x742, x743 = bits.Add64(x713, x710, uint64(p521Uint1(x741)))
p521_fiat64.go#L2699: x744 := (uint64(p521Uint1(x743)) + x711)
p521_fiat64.go#L2704: x747, x748 = bits.Add64(x692, x728, uint64(p521Uint1(x746)))
p521_fiat64.go#L2707: x749, x750 = bits.Add64(x694, x730, uint64(p521Uint1(x748)))
p521_fiat64.go#L2710: x751, x752 = bits.Add64(x696, x732, uint64(p521Uint1(x750)))
p521_fiat64.go#L2713: x753, x754 = bits.Add64(x698, x734, uint64(p521Uint1(x752)))
p521_fiat64.go#L2716: x755, x756 = bits.Add64(x700, x736, uint64(p521Uint1(x754)))
p521_fiat64.go#L2719: x757, x758 = bits.Add64(x702, x738, uint64(p521Uint1(x756)))
p521_fiat64.go#L2722: x759, x760 = bits.Add64(x704, x740, uint64(p521Uint1(x758)))
p521_fiat64.go#L2725: x761, x762 = bits.Add64(x706, x742, uint64(p521Uint1(x760)))
p521_fiat64.go#L2728: x763, x764 = bits.Add64(x708, x744, uint64(p521Uint1(x762)))
p521_fiat64.go#L2729: x765 := (uint64(p521Uint1(x764)) + uint64(p521Uint1(x709)))
p521_fiat64.go#L2762: x786, x787 = bits.Add64(x781, x778, uint64(p521Uint1(x785)))
p521_fiat64.go#L2765: x788, x789 = bits.Add64(x779, x776, uint64(p521Uint1(x787)))
p521_fiat64.go#L2768: x790, x791 = bits.Add64(x777, x774, uint64(p521Uint1(x789)))
p521_fiat64.go#L2771: x792, x793 = bits.Add64(x775, x772, uint64(p521Uint1(x791)))
p521_fiat64.go#L2774: x794, x795 = bits.Add64(x773, x770, uint64(p521Uint1(x793)))
p521_fiat64.go#L2777: x796, x797 = bits.Add64(x771, x768, uint64(p521Uint1(x795)))
p521_fiat64.go#L2780: x798, x799 = bits.Add64(x769, x766, uint64(p521Uint1(x797)))
p521_fiat64.go#L2781: x800 := (uint64(p521Uint1(x799)) + x767)
p521_fiat64.go#L2787: x803, x804 = bits.Add64(x749, x784, uint64(p521Uint1(x802)))
p521_fiat64.go#L2790: x805, x806 = bits.Add64(x751, x786, uint64(p521Uint1(x804)))
p521_fiat64.go#L2793: x807, x808 = bits.Add64(x753, x788, uint64(p521Uint1(x806)))
p521_fiat64.go#L2796: x809, x810 = bits.Add64(x755, x790, uint64(p521Uint1(x808)))
p521_fiat64.go#L2799: x811, x812 = bits.Add64(x757, x792, uint64(p521Uint1(x810)))
p521_fiat64.go#L2802: x813, x814 = bits.Add64(x759, x794, uint64(p521Uint1(x812)))
p521_fiat64.go#L2805: x815, x816 = bits.Add64(x761, x796, uint64(p521Uint1(x814)))
p521_fiat64.go#L2808: x817, x818 = bits.Add64(x763, x798, uint64(p521Uint1(x816)))
p521_fiat64.go#L2811: x819, x820 = bits.Add64(x765, x800, uint64(p521Uint1(x818)))
p521_fiat64.go#L2844: x841, x842 = bits.Add64(x836, x833, uint64(p521Uint1(x840)))
p521_fiat64.go#L2847: x843, x844 = bits.Add64(x834, x831, uint64(p521Uint1(x842)))
p521_fiat64.go#L2850: x845, x846 = bits.Add64(x832, x829, uint64(p521Uint1(x844)))
p521_fiat64.go#L2853: x847, x848 = bits.Add64(x830, x827, uint64(p521Uint1(x846)))
p521_fiat64.go#L2856: x849, x850 = bits.Add64(x828, x825, uint64(p521Uint1(x848)))
p521_fiat64.go#L2859: x851, x852 = bits.Add64(x826, x823, uint64(p521Uint1(x850)))
p521_fiat64.go#L2862: x853, x854 = bits.Add64(x824, x821, uint64(p521Uint1(x852)))
p521_fiat64.go#L2863: x855 := (uint64(p521Uint1(x854)) + x822)
p521_fiat64.go#L2868: x858, x859 = bits.Add64(x803, x839, uint64(p521Uint1(x857)))
p521_fiat64.go#L2871: x860, x861 = bits.Add64(x805, x841, uint64(p521Uint1(x859)))
p521_fiat64.go#L2874: x862, x863 = bits.Add64(x807, x843, uint64(p521Uint1(x861)))
p521_fiat64.go#L2877: x864, x865 = bits.Add64(x809, x845, uint64(p521Uint1(x863)))
p521_fiat64.go#L2880: x866, x867 = bits.Add64(x811, x847, uint64(p521Uint1(x865)))
p521_fiat64.go#L2883: x868, x869 = bits.Add64(x813, x849, uint64(p521Uint1(x867)))
p521_fiat64.go#L2886: x870, x871 = bits.Add64(x815, x851, uint64(p521Uint1(x869)))
p521_fiat64.go#L2889: x872, x873 = bits.Add64(x817, x853, uint64(p521Uint1(x871)))
p521_fiat64.go#L2892: x874, x875 = bits.Add64(x819, x855, uint64(p521Uint1(x873)))
p521_fiat64.go#L2893: x876 := (uint64(p521Uint1(x875)) + uint64(p521Uint1(x820)))
p521_fiat64.go#L2926: x897, x898 = bits.Add64(x892, x889, uint64(p521Uint1(x896)))
p521_fiat64.go#L2929: x899, x900 = bits.Add64(x890, x887, uint64(p521Uint1(x898)))
p521_fiat64.go#L2932: x901, x902 = bits.Add64(x888, x885, uint64(p521Uint1(x900)))
p521_fiat64.go#L2935: x903, x904 = bits.Add64(x886, x883, uint64(p521Uint1(x902)))
p521_fiat64.go#L2938: x905, x906 = bits.Add64(x884, x881, uint64(p521Uint1(x904)))
p521_fiat64.go#L2941: x907, x908 = bits.Add64(x882, x879, uint64(p521Uint1(x906)))
p521_fiat64.go#L2944: x909, x910 = bits.Add64(x880, x877, uint64(p521Uint1(x908)))
p521_fiat64.go#L2945: x911 := (uint64(p521Uint1(x910)) + x878)
p521_fiat64.go#L2951: x914, x915 = bits.Add64(x860, x895, uint64(p521Uint1(x913)))
p521_fiat64.go#L2954: x916, x917 = bits.Add64(x862, x897, uint64(p521Uint1(x915)))
p521_fiat64.go#L2957: x918, x919 = bits.Add64(x864, x899, uint64(p521Uint1(x917)))
p521_fiat64.go#L2960: x920, x921 = bits.Add64(x866, x901, uint64(p521Uint1(x919)))
p521_fiat64.go#L2963: x922, x923 = bits.Add64(x868, x903, uint64(p521Uint1(x921)))
p521_fiat64.go#L2966: x924, x925 = bits.Add64(x870, x905, uint64(p521Uint1(x923)))
p521_fiat64.go#L2969: x926, x927 = bits.Add64(x872, x907, uint64(p521Uint1(x925)))
p521_fiat64.go#L2972: x928, x929 = bits.Add64(x874, x909, uint64(p521Uint1(x927)))
p521_fiat64.go#L2975: x930, x931 = bits.Add64(x876, x911, uint64(p521Uint1(x929)))
p521_fiat64.go#L3008: x952, x953 = bits.Add64(x947, x944, uint64(p521Uint1(x951)))
p521_fiat64.go#L3011: x954, x955 = bits.Add64(x945, x942, uint64(p521Uint1(x953)))
p521_fiat64.go#L3014: x956, x957 = bits.Add64(x943, x940, uint64(p521Uint1(x955)))
p521_fiat64.go#L3017: x958, x959 = bits.Add64(x941, x938, uint64(p521Uint1(x957)))
p521_fiat64.go#L3020: x960, x961 = bits.Add64(x939, x936, uint64(p521Uint1(x959)))
p521_fiat64.go#L3023: x962, x963 = bits.Add64(x937, x934, uint64(p521Uint1(x961)))
p521_fiat64.go#L3026: x964, x965 = bits.Add64(x935, x932, uint64(p521Uint1(x963)))
p521_fiat64.go#L3027: x966 := (uint64(p521Uint1(x965)) + x933)
p521_fiat64.go#L3032: x969, x970 = bits.Add64(x914, x950, uint64(p521Uint1(x968)))
p521_fiat64.go#L3035: x971, x972 = bits.Add64(x916, x952, uint64(p521Uint1(x970)))
p521_fiat64.go#L3038: x973, x974 = bits.Add64(x918, x954, uint64(p521Uint1(x972)))
p521_fiat64.go#L3041: x975, x976 = bits.Add64(x920, x956, uint64(p521Uint1(x974)))
p521_fiat64.go#L3044: x977, x978 = bits.Add64(x922, x958, uint64(p521Uint1(x976)))
p521_fiat64.go#L3047: x979, x980 = bits.Add64(x924, x960, uint64(p521Uint1(x978)))
p521_fiat64.go#L3050: x981, x982 = bits.Add64(x926, x962, uint64(p521Uint1(x980)))
p521_fiat64.go#L3053: x983, x984 = bits.Add64(x928, x964, uint64(p521Uint1(x982)))
p521_fiat64.go#L3056: x985, x986 = bits.Add64(x930, x966, uint64(p521Uint1(x984)))
p521_fiat64.go#L3057: x987 := (uint64(p521Uint1(x986)) + uint64(p521Uint1(x931)))
p521_fiat64.go#L3063: x990, x991 = bits.Sub64(x971, 0xffffffffffffffff, uint64(p521Uint1(x989)))
p521_fiat64.go#L3066: x992, x993 = bits.Sub64(x973, 0xffffffffffffffff, uint64(p521Uint1(x991)))
p521_fiat64.go#L3069: x994, x995 = bits.Sub64(x975, 0xffffffffffffffff, uint64(p521Uint1(x993)))
p521_fiat64.go#L3072: x996, x997 = bits.Sub64(x977, 0xffffffffffffffff, uint64(p521Uint1(x995)))
p521_fiat64.go#L3075: x998, x999 = bits.Sub64(x979, 0xffffffffffffffff, uint64(p521Uint1(x997)))
p521_fiat64.go#L3078: x1000, x1001 = bits.Sub64(x981, 0xffffffffffffffff, uint64(p521Uint1(x999)))
p521_fiat64.go#L3081: x1002, x1003 = bits.Sub64(x983, 0xffffffffffffffff, uint64(p521Uint1(x1001)))
p521_fiat64.go#L3084: x1004, x1005 = bits.Sub64(x985, 0x1ff, uint64(p521Uint1(x1003)))
p521_fiat64.go#L3086: _, x1007 = bits.Sub64(x987, uint64(0x0), uint64(p521Uint1(x1005)))
p521_fiat64.go#L3088: p521CmovznzU64(&x1008, p521Uint1(x1007), x988, x969)
p521_fiat64.go#L3090: p521CmovznzU64(&x1009, p521Uint1(x1007), x990, x971)
p521_fiat64.go#L3092: p521CmovznzU64(&x1010, p521Uint1(x1007), x992, x973)
p521_fiat64.go#L3094: p521CmovznzU64(&x1011, p521Uint1(x1007), x994, x975)
p521_fiat64.go#L3096: p521CmovznzU64(&x1012, p521Uint1(x1007), x996, x977)
p521_fiat64.go#L3098: p521CmovznzU64(&x1013, p521Uint1(x1007), x998, x979)
p521_fiat64.go#L3100: p521CmovznzU64(&x1014, p521Uint1(x1007), x1000, x981)
p521_fiat64.go#L3102: p521CmovznzU64(&x1015, p521Uint1(x1007), x1002, x983)
p521_fiat64.go#L3104: p521CmovznzU64(&x1016, p521Uint1(x1007), x1004, x985)
p521_fiat64.go#L3131: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p521Uint1(x2)))
p521_fiat64.go#L3134: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p521Uint1(x4)))
p521_fiat64.go#L3137: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p521Uint1(x6)))
p521_fiat64.go#L3140: x9, x10 = bits.Add64(arg1[4], arg2[4], uint64(p521Uint1(x8)))
p521_fiat64.go#L3143: x11, x12 = bits.Add64(arg1[5], arg2[5], uint64(p521Uint1(x10)))
p521_fiat64.go#L3146: x13, x14 = bits.Add64(arg1[6], arg2[6], uint64(p521Uint1(x12)))
p521_fiat64.go#L3149: x15, x16 = bits.Add64(arg1[7], arg2[7], uint64(p521Uint1(x14)))
p521_fiat64.go#L3152: x17, x18 = bits.Add64(arg1[8], arg2[8], uint64(p521Uint1(x16)))
p521_fiat64.go#L3158: x21, x22 = bits.Sub64(x3, 0xffffffffffffffff, uint64(p521Uint1(x20)))
p521_fiat64.go#L3161: x23, x24 = bits.Sub64(x5, 0xffffffffffffffff, uint64(p521Uint1(x22)))
p521_fiat64.go#L3164: x25, x26 = bits.Sub64(x7, 0xffffffffffffffff, uint64(p521Uint1(x24)))
p521_fiat64.go#L3167: x27, x28 = bits.Sub64(x9, 0xffffffffffffffff, uint64(p521Uint1(x26)))
p521_fiat64.go#L3170: x29, x30 = bits.Sub64(x11, 0xffffffffffffffff, uint64(p521Uint1(x28)))
p521_fiat64.go#L3173: x31, x32 = bits.Sub64(x13, 0xffffffffffffffff, uint64(p521Uint1(x30)))
p521_fiat64.go#L3176: x33, x34 = bits.Sub64(x15, 0xffffffffffffffff, uint64(p521Uint1(x32)))
p521_fiat64.go#L3179: x35, x36 = bits.Sub64(x17, 0x1ff, uint64(p521Uint1(x34)))
p521_fiat64.go#L3181: _, x38 = bits.Sub64(uint64(p521Uint1(x18)), uint64(0x0), uint64(p521Uint1(x36)))
p521_fiat64.go#L3183: p521CmovznzU64(&x39, p521Uint1(x38), x19, x1)
p521_fiat64.go#L3185: p521CmovznzU64(&x40, p521Uint1(x38), x21, x3)
p521_fiat64.go#L3187: p521CmovznzU64(&x41, p521Uint1(x38), x23, x5)
p521_fiat64.go#L3189: p521CmovznzU64(&x42, p521Uint1(x38), x25, x7)
p521_fiat64.go#L3191: p521CmovznzU64(&x43, p521Uint1(x38), x27, x9)
p521_fiat64.go#L3193: p521CmovznzU64(&x44, p521Uint1(x38), x29, x11)
p521_fiat64.go#L3195: p521CmovznzU64(&x45, p521Uint1(x38), x31, x13)
p521_fiat64.go#L3197: p521CmovznzU64(&x46, p521Uint1(x38), x33, x15)
p521_fiat64.go#L3199: p521CmovznzU64(&x47, p521Uint1(x38), x35, x17)
p521_fiat64.go#L3226: x3, x4 = bits.Sub64(arg1[1], arg2[1], uint64(p521Uint1(x2)))
p521_fiat64.go#L3229: x5, x6 = bits.Sub64(arg1[2], arg2[2], uint64(p521Uint1(x4)))
p521_fiat64.go#L3232: x7, x8 = bits.Sub64(arg1[3], arg2[3], uint64(p521Uint1(x6)))
p521_fiat64.go#L3235: x9, x10 = bits.Sub64(arg1[4], arg2[4], uint64(p521Uint1(x8)))
p521_fiat64.go#L3238: x11, x12 = bits.Sub64(arg1[5], arg2[5], uint64(p521Uint1(x10)))
p521_fiat64.go#L3241: x13, x14 = bits.Sub64(arg1[6], arg2[6], uint64(p521Uint1(x12)))
p521_fiat64.go#L3244: x15, x16 = bits.Sub64(arg1[7], arg2[7], uint64(p521Uint1(x14)))
p521_fiat64.go#L3247: x17, x18 = bits.Sub64(arg1[8], arg2[8], uint64(p521Uint1(x16)))
p521_fiat64.go#L3249: p521CmovznzU64(&x19, p521Uint1(x18), uint64(0x0), 0xffffffffffffffff)
p521_fiat64.go#L3255: x22, x23 = bits.Add64(x3, x19, uint64(p521Uint1(x21)))
p521_fiat64.go#L3258: x24, x25 = bits.Add64(x5, x19, uint64(p521Uint1(x23)))
p521_fiat64.go#L3261: x26, x27 = bits.Add64(x7, x19, uint64(p521Uint1(x25)))
p521_fiat64.go#L3264: x28, x29 = bits.Add64(x9, x19, uint64(p521Uint1(x27)))
p521_fiat64.go#L3267: x30, x31 = bits.Add64(x11, x19, uint64(p521Uint1(x29)))
p521_fiat64.go#L3270: x32, x33 = bits.Add64(x13, x19, uint64(p521Uint1(x31)))
p521_fiat64.go#L3273: x34, x35 = bits.Add64(x15, x19, uint64(p521Uint1(x33)))
p521_fiat64.go#L3275: x36, _ = bits.Add64(x17, (x19 & 0x1ff), uint64(p521Uint1(x35)))
p521_fiat64.go#L3347: x22, x23 = bits.Add64(x17, x14, uint64(p521Uint1(x21)))
p521_fiat64.go#L3350: x24, x25 = bits.Add64(x15, x12, uint64(p521Uint1(x23)))
p521_fiat64.go#L3353: x26, x27 = bits.Add64(x13, x10, uint64(p521Uint1(x25)))
p521_fiat64.go#L3356: x28, x29 = bits.Add64(x11, x8, uint64(p521Uint1(x27)))
p521_fiat64.go#L3359: x30, x31 = bits.Add64(x9, x6, uint64(p521Uint1(x29)))
p521_fiat64.go#L3362: x32, x33 = bits.Add64(x7, x4, uint64(p521Uint1(x31)))
p521_fiat64.go#L3365: x34, x35 = bits.Add64(x5, x2, uint64(p521Uint1(x33)))
p521_fiat64.go#L3370: x38, x39 = bits.Add64(uint64(0x0), x20, uint64(p521Uint1(x37)))
p521_fiat64.go#L3373: x40, x41 = bits.Add64(uint64(0x0), x22, uint64(p521Uint1(x39)))
p521_fiat64.go#L3376: x42, x43 = bits.Add64(uint64(0x0), x24, uint64(p521Uint1(x41)))
p521_fiat64.go#L3379: x44, x45 = bits.Add64(uint64(0x0), x26, uint64(p521Uint1(x43)))
p521_fiat64.go#L3382: x46, x47 = bits.Add64(uint64(0x0), x28, uint64(p521Uint1(x45)))
p521_fiat64.go#L3385: x48, x49 = bits.Add64(uint64(0x0), x30, uint64(p521Uint1(x47)))
p521_fiat64.go#L3388: x50, x51 = bits.Add64(uint64(0x0), x32, uint64(p521Uint1(x49)))
p521_fiat64.go#L3391: x52, x53 = bits.Add64(uint64(0x0), x34, uint64(p521Uint1(x51)))
p521_fiat64.go#L3397: x56, x57 = bits.Add64(x40, uint64(0x0), uint64(p521Uint1(x55)))
p521_fiat64.go#L3400: x58, x59 = bits.Add64(x42, uint64(0x0), uint64(p521Uint1(x57)))
p521_fiat64.go#L3403: x60, x61 = bits.Add64(x44, uint64(0x0), uint64(p521Uint1(x59)))
p521_fiat64.go#L3406: x62, x63 = bits.Add64(x46, uint64(0x0), uint64(p521Uint1(x61)))
p521_fiat64.go#L3409: x64, x65 = bits.Add64(x48, uint64(0x0), uint64(p521Uint1(x63)))
p521_fiat64.go#L3412: x66, x67 = bits.Add64(x50, uint64(0x0), uint64(p521Uint1(x65)))
p521_fiat64.go#L3415: x68, x69 = bits.Add64(x52, uint64(0x0), uint64(p521Uint1(x67)))
p521_fiat64.go#L3448: x90, x91 = bits.Add64(x85, x82, uint64(p521Uint1(x89)))
p521_fiat64.go#L3451: x92, x93 = bits.Add64(x83, x80, uint64(p521Uint1(x91)))
p521_fiat64.go#L3454: x94, x95 = bits.Add64(x81, x78, uint64(p521Uint1(x93)))
p521_fiat64.go#L3457: x96, x97 = bits.Add64(x79, x76, uint64(p521Uint1(x95)))
p521_fiat64.go#L3460: x98, x99 = bits.Add64(x77, x74, uint64(p521Uint1(x97)))
p521_fiat64.go#L3463: x100, x101 = bits.Add64(x75, x72, uint64(p521Uint1(x99)))
p521_fiat64.go#L3466: x102, x103 = bits.Add64(x73, x70, uint64(p521Uint1(x101)))
p521_fiat64.go#L3471: x106, x107 = bits.Add64(x56, x88, uint64(p521Uint1(x105)))
p521_fiat64.go#L3474: x108, x109 = bits.Add64(x58, x90, uint64(p521Uint1(x107)))
p521_fiat64.go#L3477: x110, x111 = bits.Add64(x60, x92, uint64(p521Uint1(x109)))
p521_fiat64.go#L3480: x112, x113 = bits.Add64(x62, x94, uint64(p521Uint1(x111)))
p521_fiat64.go#L3483: x114, x115 = bits.Add64(x64, x96, uint64(p521Uint1(x113)))
p521_fiat64.go#L3486: x116, x117 = bits.Add64(x66, x98, uint64(p521Uint1(x115)))
p521_fiat64.go#L3489: x118, x119 = bits.Add64(x68, x100, uint64(p521Uint1(x117)))
p521_fiat64.go#L3492: x120, x121 = bits.Add64((uint64(p521Uint1(x69)) + (uint64(p521Uint1(x53)) + (uint64(p521Uint1(x35)) + x3))), x102, uint64(p521Uint1(x119)))
p521_fiat64.go#L3498: x124, x125 = bits.Add64(x108, uint64(0x0), uint64(p521Uint1(x123)))
p521_fiat64.go#L3501: x126, x127 = bits.Add64(x110, uint64(0x0), uint64(p521Uint1(x125)))
p521_fiat64.go#L3504: x128, x129 = bits.Add64(x112, uint64(0x0), uint64(p521Uint1(x127)))
p521_fiat64.go#L3507: x130, x131 = bits.Add64(x114, uint64(0x0), uint64(p521Uint1(x129)))
p521_fiat64.go#L3510: x132, x133 = bits.Add64(x116, uint64(0x0), uint64(p521Uint1(x131)))
p521_fiat64.go#L3513: x134, x135 = bits.Add64(x118, uint64(0x0), uint64(p521Uint1(x133)))
p521_fiat64.go#L3516: x136, x137 = bits.Add64(x120, uint64(0x0), uint64(p521Uint1(x135)))
p521_fiat64.go#L3549: x158, x159 = bits.Add64(x153, x150, uint64(p521Uint1(x157)))
p521_fiat64.go#L3552: x160, x161 = bits.Add64(x151, x148, uint64(p521Uint1(x159)))
p521_fiat64.go#L3555: x162, x163 = bits.Add64(x149, x146, uint64(p521Uint1(x161)))
p521_fiat64.go#L3558: x164, x165 = bits.Add64(x147, x144, uint64(p521Uint1(x163)))
p521_fiat64.go#L3561: x166, x167 = bits.Add64(x145, x142, uint64(p521Uint1(x165)))
p521_fiat64.go#L3564: x168, x169 = bits.Add64(x143, x140, uint64(p521Uint1(x167)))
p521_fiat64.go#L3567: x170, x171 = bits.Add64(x141, x138, uint64(p521Uint1(x169)))
p521_fiat64.go#L3572: x174, x175 = bits.Add64(x124, x156, uint64(p521Uint1(x173)))
p521_fiat64.go#L3575: x176, x177 = bits.Add64(x126, x158, uint64(p521Uint1(x175)))
p521_fiat64.go#L3578: x178, x179 = bits.Add64(x128, x160, uint64(p521Uint1(x177)))
p521_fiat64.go#L3581: x180, x181 = bits.Add64(x130, x162, uint64(p521Uint1(x179)))
p521_fiat64.go#L3584: x182, x183 = bits.Add64(x132, x164, uint64(p521Uint1(x181)))
p521_fiat64.go#L3587: x184, x185 = bits.Add64(x134, x166, uint64(p521Uint1(x183)))
p521_fiat64.go#L3590: x186, x187 = bits.Add64(x136, x168, uint64(p521Uint1(x185)))
p521_fiat64.go#L3593: x188, x189 = bits.Add64((uint64(p521Uint1(x137)) + (uint64(p521Uint1(x121)) + (uint64(p521Uint1(x103)) + x71))), x170, uint64(p521Uint1(x187)))
p521_fiat64.go#L3599: x192, x193 = bits.Add64(x176, uint64(0x0), uint64(p521Uint1(x191)))
p521_fiat64.go#L3602: x194, x195 = bits.Add64(x178, uint64(0x0), uint64(p521Uint1(x193)))
p521_fiat64.go#L3605: x196, x197 = bits.Add64(x180, uint64(0x0), uint64(p521Uint1(x195)))
p521_fiat64.go#L3608: x198, x199 = bits.Add64(x182, uint64(0x0), uint64(p521Uint1(x197)))
p521_fiat64.go#L3611: x200, x201 = bits.Add64(x184, uint64(0x0), uint64(p521Uint1(x199)))
p521_fiat64.go#L3614: x202, x203 = bits.Add64(x186, uint64(0x0), uint64(p521Uint1(x201)))
p521_fiat64.go#L3617: x204, x205 = bits.Add64(x188, uint64(0x0), uint64(p521Uint1(x203)))
p521_fiat64.go#L3650: x226, x227 = bits.Add64(x221, x218, uint64(p521Uint1(x225)))
p521_fiat64.go#L3653: x228, x229 = bits.Add64(x219, x216, uint64(p521Uint1(x227)))
p521_fiat64.go#L3656: x230, x231 = bits.Add64(x217, x214, uint64(p521Uint1(x229)))
p521_fiat64.go#L3659: x232, x233 = bits.Add64(x215, x212, uint64(p521Uint1(x231)))
p521_fiat64.go#L3662: x234, x235 = bits.Add64(x213, x210, uint64(p521Uint1(x233)))
p521_fiat64.go#L3665: x236, x237 = bits.Add64(x211, x208, uint64(p521Uint1(x235)))
p521_fiat64.go#L3668: x238, x239 = bits.Add64(x209, x206, uint64(p521Uint1(x237)))
p521_fiat64.go#L3673: x242, x243 = bits.Add64(x192, x224, uint64(p521Uint1(x241)))
p521_fiat64.go#L3676: x244, x245 = bits.Add64(x194, x226, uint64(p521Uint1(x243)))
p521_fiat64.go#L3679: x246, x247 = bits.Add64(x196, x228, uint64(p521Uint1(x245)))
p521_fiat64.go#L3682: x248, x249 = bits.Add64(x198, x230, uint64(p521Uint1(x247)))
p521_fiat64.go#L3685: x250, x251 = bits.Add64(x200, x232, uint64(p521Uint1(x249)))
p521_fiat64.go#L3688: x252, x253 = bits.Add64(x202, x234, uint64(p521Uint1(x251)))
p521_fiat64.go#L3691: x254, x255 = bits.Add64(x204, x236, uint64(p521Uint1(x253)))
p521_fiat64.go#L3694: x256, x257 = bits.Add64((uint64(p521Uint1(x205)) + (uint64(p521Uint1(x189)) + (uint64(p521Uint1(x171)) + x139))), x238, uint64(p521Uint1(x255)))
p521_fiat64.go#L3700: x260, x261 = bits.Add64(x244, uint64(0x0), uint64(p521Uint1(x259)))
p521_fiat64.go#L3703: x262, x263 = bits.Add64(x246, uint64(0x0), uint64(p521Uint1(x261)))
p521_fiat64.go#L3706: x264, x265 = bits.Add64(x248, uint64(0x0), uint64(p521Uint1(x263)))
p521_fiat64.go#L3709: x266, x267 = bits.Add64(x250, uint64(0x0), uint64(p521Uint1(x265)))
p521_fiat64.go#L3712: x268, x269 = bits.Add64(x252, uint64(0x0), uint64(p521Uint1(x267)))
p521_fiat64.go#L3715: x270, x271 = bits.Add64(x254, uint64(0x0), uint64(p521Uint1(x269)))
p521_fiat64.go#L3718: x272, x273 = bits.Add64(x256, uint64(0x0), uint64(p521Uint1(x271)))
p521_fiat64.go#L3751: x294, x295 = bits.Add64(x289, x286, uint64(p521Uint1(x293)))
p521_fiat64.go#L3754: x296, x297 = bits.Add64(x287, x284, uint64(p521Uint1(x295)))
p521_fiat64.go#L3757: x298, x299 = bits.Add64(x285, x282, uint64(p521Uint1(x297)))
p521_fiat64.go#L3760: x300, x301 = bits.Add64(x283, x280, uint64(p521Uint1(x299)))
p521_fiat64.go#L3763: x302, x303 = bits.Add64(x281, x278, uint64(p521Uint1(x301)))
p521_fiat64.go#L3766: x304, x305 = bits.Add64(x279, x276, uint64(p521Uint1(x303)))
p521_fiat64.go#L3769: x306, x307 = bits.Add64(x277, x274, uint64(p521Uint1(x305)))
p521_fiat64.go#L3774: x310, x311 = bits.Add64(x260, x292, uint64(p521Uint1(x309)))
p521_fiat64.go#L3777: x312, x313 = bits.Add64(x262, x294, uint64(p521Uint1(x311)))
p521_fiat64.go#L3780: x314, x315 = bits.Add64(x264, x296, uint64(p521Uint1(x313)))
p521_fiat64.go#L3783: x316, x317 = bits.Add64(x266, x298, uint64(p521Uint1(x315)))
p521_fiat64.go#L3786: x318, x319 = bits.Add64(x268, x300, uint64(p521Uint1(x317)))
p521_fiat64.go#L3789: x320, x321 = bits.Add64(x270, x302, uint64(p521Uint1(x319)))
p521_fiat64.go#L3792: x322, x323 = bits.Add64(x272, x304, uint64(p521Uint1(x321)))
p521_fiat64.go#L3795: x324, x325 = bits.Add64((uint64(p521Uint1(x273)) + (uint64(p521Uint1(x257)) + (uint64(p521Uint1(x239)) + x207))), x306, uint64(p521Uint1(x323)))
p521_fiat64.go#L3801: x328, x329 = bits.Add64(x312, uint64(0x0), uint64(p521Uint1(x327)))
p521_fiat64.go#L3804: x330, x331 = bits.Add64(x314, uint64(0x0), uint64(p521Uint1(x329)))
p521_fiat64.go#L3807: x332, x333 = bits.Add64(x316, uint64(0x0), uint64(p521Uint1(x331)))
p521_fiat64.go#L3810: x334, x335 = bits.Add64(x318, uint64(0x0), uint64(p521Uint1(x333)))
p521_fiat64.go#L3813: x336, x337 = bits.Add64(x320, uint64(0x0), uint64(p521Uint1(x335)))
p521_fiat64.go#L3816: x338, x339 = bits.Add64(x322, uint64(0x0), uint64(p521Uint1(x337)))
p521_fiat64.go#L3819: x340, x341 = bits.Add64(x324, uint64(0x0), uint64(p521Uint1(x339)))
p521_fiat64.go#L3852: x362, x363 = bits.Add64(x357, x354, uint64(p521Uint1(x361)))
p521_fiat64.go#L3855: x364, x365 = bits.Add64(x355, x352, uint64(p521Uint1(x363)))
p521_fiat64.go#L3858: x366, x367 = bits.Add64(x353, x350, uint64(p521Uint1(x365)))
p521_fiat64.go#L3861: x368, x369 = bits.Add64(x351, x348, uint64(p521Uint1(x367)))
p521_fiat64.go#L3864: x370, x371 = bits.Add64(x349, x346, uint64(p521Uint1(x369)))
p521_fiat64.go#L3867: x372, x373 = bits.Add64(x347, x344, uint64(p521Uint1(x371)))
p521_fiat64.go#L3870: x374, x375 = bits.Add64(x345, x342, uint64(p521Uint1(x373)))
p521_fiat64.go#L3875: x378, x379 = bits.Add64(x328, x360, uint64(p521Uint1(x377)))
p521_fiat64.go#L3878: x380, x381 = bits.Add64(x330, x362, uint64(p521Uint1(x379)))
p521_fiat64.go#L3881: x382, x383 = bits.Add64(x332, x364, uint64(p521Uint1(x381)))
p521_fiat64.go#L3884: x384, x385 = bits.Add64(x334, x366, uint64(p521Uint1(x383)))
p521_fiat64.go#L3887: x386, x387 = bits.Add64(x336, x368, uint64(p521Uint1(x385)))
p521_fiat64.go#L3890: x388, x389 = bits.Add64(x338, x370, uint64(p521Uint1(x387)))
p521_fiat64.go#L3893: x390, x391 = bits.Add64(x340, x372, uint64(p521Uint1(x389)))
p521_fiat64.go#L3896: x392, x393 = bits.Add64((uint64(p521Uint1(x341)) + (uint64(p521Uint1(x325)) + (uint64(p521Uint1(x307)) + x275))), x374, uint64(p521Uint1(x391)))
p521_fiat64.go#L3902: x396, x397 = bits.Add64(x380, uint64(0x0), uint64(p521Uint1(x395)))
p521_fiat64.go#L3905: x398, x399 = bits.Add64(x382, uint64(0x0), uint64(p521Uint1(x397)))
p521_fiat64.go#L3908: x400, x401 = bits.Add64(x384, uint64(0x0), uint64(p521Uint1(x399)))
p521_fiat64.go#L3911: x402, x403 = bits.Add64(x386, uint64(0x0), uint64(p521Uint1(x401)))
p521_fiat64.go#L3914: x404, x405 = bits.Add64(x388, uint64(0x0), uint64(p521Uint1(x403)))
p521_fiat64.go#L3917: x406, x407 = bits.Add64(x390, uint64(0x0), uint64(p521Uint1(x405)))
p521_fiat64.go#L3920: x408, x409 = bits.Add64(x392, uint64(0x0), uint64(p521Uint1(x407)))
p521_fiat64.go#L3953: x430, x431 = bits.Add64(x425, x422, uint64(p521Uint1(x429)))
p521_fiat64.go#L3956: x432, x433 = bits.Add64(x423, x420, uint64(p521Uint1(x431)))
p521_fiat64.go#L3959: x434, x435 = bits.Add64(x421, x418, uint64(p521Uint1(x433)))
p521_fiat64.go#L3962: x436, x437 = bits.Add64(x419, x416, uint64(p521Uint1(x435)))
p521_fiat64.go#L3965: x438, x439 = bits.Add64(x417, x414, uint64(p521Uint1(x437)))
p521_fiat64.go#L3968: x440, x441 = bits.Add64(x415, x412, uint64(p521Uint1(x439)))
p521_fiat64.go#L3971: x442, x443 = bits.Add64(x413, x410, uint64(p521Uint1(x441)))
p521_fiat64.go#L3976: x446, x447 = bits.Add64(x396, x428, uint64(p521Uint1(x445)))
p521_fiat64.go#L3979: x448, x449 = bits.Add64(x398, x430, uint64(p521Uint1(x447)))
p521_fiat64.go#L3982: x450, x451 = bits.Add64(x400, x432, uint64(p521Uint1(x449)))
p521_fiat64.go#L3985: x452, x453 = bits.Add64(x402, x434, uint64(p521Uint1(x451)))
p521_fiat64.go#L3988: x454, x455 = bits.Add64(x404, x436, uint64(p521Uint1(x453)))
p521_fiat64.go#L3991: x456, x457 = bits.Add64(x406, x438, uint64(p521Uint1(x455)))
p521_fiat64.go#L3994: x458, x459 = bits.Add64(x408, x440, uint64(p521Uint1(x457)))
p521_fiat64.go#L3997: x460, x461 = bits.Add64((uint64(p521Uint1(x409)) + (uint64(p521Uint1(x393)) + (uint64(p521Uint1(x375)) + x343))), x442, uint64(p521Uint1(x459)))
p521_fiat64.go#L4003: x464, x465 = bits.Add64(x448, uint64(0x0), uint64(p521Uint1(x463)))
p521_fiat64.go#L4006: x466, x467 = bits.Add64(x450, uint64(0x0), uint64(p521Uint1(x465)))
p521_fiat64.go#L4009: x468, x469 = bits.Add64(x452, uint64(0x0), uint64(p521Uint1(x467)))
p521_fiat64.go#L4012: x470, x471 = bits.Add64(x454, uint64(0x0), uint64(p521Uint1(x469)))
p521_fiat64.go#L4015: x472, x473 = bits.Add64(x456, uint64(0x0), uint64(p521Uint1(x471)))
p521_fiat64.go#L4018: x474, x475 = bits.Add64(x458, uint64(0x0), uint64(p521Uint1(x473)))
p521_fiat64.go#L4021: x476, x477 = bits.Add64(x460, uint64(0x0), uint64(p521Uint1(x475)))
p521_fiat64.go#L4054: x498, x499 = bits.Add64(x493, x490, uint64(p521Uint1(x497)))
p521_fiat64.go#L4057: x500, x501 = bits.Add64(x491, x488, uint64(p521Uint1(x499)))
p521_fiat64.go#L4060: x502, x503 = bits.Add64(x489, x486, uint64(p521Uint1(x501)))
p521_fiat64.go#L4063: x504, x505 = bits.Add64(x487, x484, uint64(p521Uint1(x503)))
p521_fiat64.go#L4066: x506, x507 = bits.Add64(x485, x482, uint64(p521Uint1(x505)))
p521_fiat64.go#L4069: x508, x509 = bits.Add64(x483, x480, uint64(p521Uint1(x507)))
p521_fiat64.go#L4072: x510, x511 = bits.Add64(x481, x478, uint64(p521Uint1(x509)))
p521_fiat64.go#L4077: x514, x515 = bits.Add64(x464, x496, uint64(p521Uint1(x513)))
p521_fiat64.go#L4080: x516, x517 = bits.Add64(x466, x498, uint64(p521Uint1(x515)))
p521_fiat64.go#L4083: x518, x519 = bits.Add64(x468, x500, uint64(p521Uint1(x517)))
p521_fiat64.go#L4086: x520, x521 = bits.Add64(x470, x502, uint64(p521Uint1(x519)))
p521_fiat64.go#L4089: x522, x523 = bits.Add64(x472, x504, uint64(p521Uint1(x521)))
p521_fiat64.go#L4092: x524, x525 = bits.Add64(x474, x506, uint64(p521Uint1(x523)))
p521_fiat64.go#L4095: x526, x527 = bits.Add64(x476, x508, uint64(p521Uint1(x525)))
p521_fiat64.go#L4098: x528, x529 = bits.Add64((uint64(p521Uint1(x477)) + (uint64(p521Uint1(x461)) + (uint64(p521Uint1(x443)) + x411))), x510, uint64(p521Uint1(x527)))
p521_fiat64.go#L4104: x532, x533 = bits.Add64(x516, uint64(0x0), uint64(p521Uint1(x531)))
p521_fiat64.go#L4107: x534, x535 = bits.Add64(x518, uint64(0x0), uint64(p521Uint1(x533)))
p521_fiat64.go#L4110: x536, x537 = bits.Add64(x520, uint64(0x0), uint64(p521Uint1(x535)))
p521_fiat64.go#L4113: x538, x539 = bits.Add64(x522, uint64(0x0), uint64(p521Uint1(x537)))
p521_fiat64.go#L4116: x540, x541 = bits.Add64(x524, uint64(0x0), uint64(p521Uint1(x539)))
p521_fiat64.go#L4119: x542, x543 = bits.Add64(x526, uint64(0x0), uint64(p521Uint1(x541)))
p521_fiat64.go#L4122: x544, x545 = bits.Add64(x528, uint64(0x0), uint64(p521Uint1(x543)))
p521_fiat64.go#L4155: x566, x567 = bits.Add64(x561, x558, uint64(p521Uint1(x565)))
p521_fiat64.go#L4158: x568, x569 = bits.Add64(x559, x556, uint64(p521Uint1(x567)))
p521_fiat64.go#L4161: x570, x571 = bits.Add64(x557, x554, uint64(p521Uint1(x569)))
p521_fiat64.go#L4164: x572, x573 = bits.Add64(x555, x552, uint64(p521Uint1(x571)))
p521_fiat64.go#L4167: x574, x575 = bits.Add64(x553, x550, uint64(p521Uint1(x573)))
p521_fiat64.go#L4170: x576, x577 = bits.Add64(x551, x548, uint64(p521Uint1(x575)))
p521_fiat64.go#L4173: x578, x579 = bits.Add64(x549, x546, uint64(p521Uint1(x577)))
p521_fiat64.go#L4178: x582, x583 = bits.Add64(x532, x564, uint64(p521Uint1(x581)))
p521_fiat64.go#L4181: x584, x585 = bits.Add64(x534, x566, uint64(p521Uint1(x583)))
p521_fiat64.go#L4184: x586, x587 = bits.Add64(x536, x568, uint64(p521Uint1(x585)))
p521_fiat64.go#L4187: x588, x589 = bits.Add64(x538, x570, uint64(p521Uint1(x587)))
p521_fiat64.go#L4190: x590, x591 = bits.Add64(x540, x572, uint64(p521Uint1(x589)))
p521_fiat64.go#L4193: x592, x593 = bits.Add64(x542, x574, uint64(p521Uint1(x591)))
p521_fiat64.go#L4196: x594, x595 = bits.Add64(x544, x576, uint64(p521Uint1(x593)))
p521_fiat64.go#L4199: x596, x597 = bits.Add64((uint64(p521Uint1(x545)) + (uint64(p521Uint1(x529)) + (uint64(p521Uint1(x511)) + x479))), x578, uint64(p521Uint1(x595)))
p521_fiat64.go#L4200: x598 := (uint64(p521Uint1(x597)) + (uint64(p521Uint1(x579)) + x547))
p521_fiat64.go#L4206: x601, x602 = bits.Sub64(x584, 0xffffffffffffffff, uint64(p521Uint1(x600)))
p521_fiat64.go#L4209: x603, x604 = bits.Sub64(x586, 0xffffffffffffffff, uint64(p521Uint1(x602)))
p521_fiat64.go#L4212: x605, x606 = bits.Sub64(x588, 0xffffffffffffffff, uint64(p521Uint1(x604)))
p521_fiat64.go#L4215: x607, x608 = bits.Sub64(x590, 0xffffffffffffffff, uint64(p521Uint1(x606)))
p521_fiat64.go#L4218: x609, x610 = bits.Sub64(x592, 0xffffffffffffffff, uint64(p521Uint1(x608)))
p521_fiat64.go#L4221: x611, x612 = bits.Sub64(x594, 0xffffffffffffffff, uint64(p521Uint1(x610)))
p521_fiat64.go#L4224: x613, x614 = bits.Sub64(x596, 0xffffffffffffffff, uint64(p521Uint1(x612)))
p521_fiat64.go#L4227: x615, x616 = bits.Sub64(x598, 0x1ff, uint64(p521Uint1(x614)))
p521_fiat64.go#L4229: _, x618 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p521Uint1(x616)))
p521_fiat64.go#L4231: p521CmovznzU64(&x619, p521Uint1(x618), x599, x582)
p521_fiat64.go#L4233: p521CmovznzU64(&x620, p521Uint1(x618), x601, x584)
p521_fiat64.go#L4235: p521CmovznzU64(&x621, p521Uint1(x618), x603, x586)
p521_fiat64.go#L4237: p521CmovznzU64(&x622, p521Uint1(x618), x605, x588)
p521_fiat64.go#L4239: p521CmovznzU64(&x623, p521Uint1(x618), x607, x590)
p521_fiat64.go#L4241: p521CmovznzU64(&x624, p521Uint1(x618), x609, x592)
p521_fiat64.go#L4243: p521CmovznzU64(&x625, p521Uint1(x618), x611, x594)
p521_fiat64.go#L4245: p521CmovznzU64(&x626, p521Uint1(x618), x613, x596)
p521_fiat64.go#L4247: p521CmovznzU64(&x627, p521Uint1(x618), x615, x598)
p521_fiat64.go#L4309: x27, x28 = bits.Add64(x22, x19, uint64(p521Uint1(x26)))
p521_fiat64.go#L4312: x29, x30 = bits.Add64(x20, x17, uint64(p521Uint1(x28)))
p521_fiat64.go#L4315: x31, x32 = bits.Add64(x18, x15, uint64(p521Uint1(x30)))
p521_fiat64.go#L4318: x33, x34 = bits.Add64(x16, x13, uint64(p521Uint1(x32)))
p521_fiat64.go#L4321: x35, x36 = bits.Add64(x14, x11, uint64(p521Uint1(x34)))
p521_fiat64.go#L4324: x37, x38 = bits.Add64(x12, x9, uint64(p521Uint1(x36)))
p521_fiat64.go#L4327: x39, x40 = bits.Add64(x10, x7, uint64(p521Uint1(x38)))
p521_fiat64.go#L4332: x43, x44 = bits.Add64(x5, x25, uint64(p521Uint1(x42)))
p521_fiat64.go#L4335: x45, x46 = bits.Add64((uint64(p521Uint1(x6)) + x4), x27, uint64(p521Uint1(x44)))
p521_fiat64.go#L4338: x47, x48 = bits.Add64(uint64(0x0), x29, uint64(p521Uint1(x46)))
p521_fiat64.go#L4341: x49, x50 = bits.Add64(uint64(0x0), x31, uint64(p521Uint1(x48)))
p521_fiat64.go#L4344: x51, x52 = bits.Add64(uint64(0x0), x33, uint64(p521Uint1(x50)))
p521_fiat64.go#L4347: x53, x54 = bits.Add64(uint64(0x0), x35, uint64(p521Uint1(x52)))
p521_fiat64.go#L4350: x55, x56 = bits.Add64(uint64(0x0), x37, uint64(p521Uint1(x54)))
p521_fiat64.go#L4353: x57, x58 = bits.Add64(uint64(0x0), x39, uint64(p521Uint1(x56)))
p521_fiat64.go#L4362: x63, x64 = bits.Add64(x47, x60, uint64(p521Uint1(x62)))
p521_fiat64.go#L4365: x65, x66 = bits.Add64(x49, uint64(0x0), uint64(p521Uint1(x64)))
p521_fiat64.go#L4368: x67, x68 = bits.Add64(x51, uint64(0x0), uint64(p521Uint1(x66)))
p521_fiat64.go#L4371: x69, x70 = bits.Add64(x53, uint64(0x0), uint64(p521Uint1(x68)))
p521_fiat64.go#L4374: x71, x72 = bits.Add64(x55, uint64(0x0), uint64(p521Uint1(x70)))
p521_fiat64.go#L4377: x73, x74 = bits.Add64(x57, uint64(0x0), uint64(p521Uint1(x72)))
p521_fiat64.go#L4410: x95, x96 = bits.Add64(x90, x87, uint64(p521Uint1(x94)))
p521_fiat64.go#L4413: x97, x98 = bits.Add64(x88, x85, uint64(p521Uint1(x96)))
p521_fiat64.go#L4416: x99, x100 = bits.Add64(x86, x83, uint64(p521Uint1(x98)))
p521_fiat64.go#L4419: x101, x102 = bits.Add64(x84, x81, uint64(p521Uint1(x100)))
p521_fiat64.go#L4422: x103, x104 = bits.Add64(x82, x79, uint64(p521Uint1(x102)))
p521_fiat64.go#L4425: x105, x106 = bits.Add64(x80, x77, uint64(p521Uint1(x104)))
p521_fiat64.go#L4428: x107, x108 = bits.Add64(x78, x75, uint64(p521Uint1(x106)))
p521_fiat64.go#L4433: x111, x112 = bits.Add64(x61, x93, uint64(p521Uint1(x110)))
p521_fiat64.go#L4436: x113, x114 = bits.Add64(x63, x95, uint64(p521Uint1(x112)))
p521_fiat64.go#L4439: x115, x116 = bits.Add64(x65, x97, uint64(p521Uint1(x114)))
p521_fiat64.go#L4442: x117, x118 = bits.Add64(x67, x99, uint64(p521Uint1(x116)))
p521_fiat64.go#L4445: x119, x120 = bits.Add64(x69, x101, uint64(p521Uint1(x118)))
p521_fiat64.go#L4448: x121, x122 = bits.Add64(x71, x103, uint64(p521Uint1(x120)))
p521_fiat64.go#L4451: x123, x124 = bits.Add64(x73, x105, uint64(p521Uint1(x122)))
p521_fiat64.go#L4454: x125, x126 = bits.Add64((uint64(p521Uint1(x74)) + (uint64(p521Uint1(x58)) + (uint64(p521Uint1(x40)) + x8))), x107, uint64(p521Uint1(x124)))
p521_fiat64.go#L4463: x131, x132 = bits.Add64(x115, x128, uint64(p521Uint1(x130)))
p521_fiat64.go#L4466: x133, x134 = bits.Add64(x117, uint64(0x0), uint64(p521Uint1(x132)))
p521_fiat64.go#L4469: x135, x136 = bits.Add64(x119, uint64(0x0), uint64(p521Uint1(x134)))
p521_fiat64.go#L4472: x137, x138 = bits.Add64(x121, uint64(0x0), uint64(p521Uint1(x136)))
p521_fiat64.go#L4475: x139, x140 = bits.Add64(x123, uint64(0x0), uint64(p521Uint1(x138)))
p521_fiat64.go#L4478: x141, x142 = bits.Add64(x125, uint64(0x0), uint64(p521Uint1(x140)))
p521_fiat64.go#L4511: x163, x164 = bits.Add64(x158, x155, uint64(p521Uint1(x162)))
p521_fiat64.go#L4514: x165, x166 = bits.Add64(x156, x153, uint64(p521Uint1(x164)))
p521_fiat64.go#L4517: x167, x168 = bits.Add64(x154, x151, uint64(p521Uint1(x166)))
p521_fiat64.go#L4520: x169, x170 = bits.Add64(x152, x149, uint64(p521Uint1(x168)))
p521_fiat64.go#L4523: x171, x172 = bits.Add64(x150, x147, uint64(p521Uint1(x170)))
p521_fiat64.go#L4526: x173, x174 = bits.Add64(x148, x145, uint64(p521Uint1(x172)))
p521_fiat64.go#L4529: x175, x176 = bits.Add64(x146, x143, uint64(p521Uint1(x174)))
p521_fiat64.go#L4534: x179, x180 = bits.Add64(x129, x161, uint64(p521Uint1(x178)))
p521_fiat64.go#L4537: x181, x182 = bits.Add64(x131, x163, uint64(p521Uint1(x180)))
p521_fiat64.go#L4540: x183, x184 = bits.Add64(x133, x165, uint64(p521Uint1(x182)))
p521_fiat64.go#L4543: x185, x186 = bits.Add64(x135, x167, uint64(p521Uint1(x184)))
p521_fiat64.go#L4546: x187, x188 = bits.Add64(x137, x169, uint64(p521Uint1(x186)))
p521_fiat64.go#L4549: x189, x190 = bits.Add64(x139, x171, uint64(p521Uint1(x188)))
p521_fiat64.go#L4552: x191, x192 = bits.Add64(x141, x173, uint64(p521Uint1(x190)))
p521_fiat64.go#L4555: x193, x194 = bits.Add64((uint64(p521Uint1(x142)) + (uint64(p521Uint1(x126)) + (uint64(p521Uint1(x108)) + x76))), x175, uint64(p521Uint1(x192)))
p521_fiat64.go#L4564: x199, x200 = bits.Add64(x183, x196, uint64(p521Uint1(x198)))
p521_fiat64.go#L4567: x201, x202 = bits.Add64(x185, uint64(0x0), uint64(p521Uint1(x200)))
p521_fiat64.go#L4570: x203, x204 = bits.Add64(x187, uint64(0x0), uint64(p521Uint1(x202)))
p521_fiat64.go#L4573: x205, x206 = bits.Add64(x189, uint64(0x0), uint64(p521Uint1(x204)))
p521_fiat64.go#L4576: x207, x208 = bits.Add64(x191, uint64(0x0), uint64(p521Uint1(x206)))
p521_fiat64.go#L4579: x209, x210 = bits.Add64(x193, uint64(0x0), uint64(p521Uint1(x208)))
p521_fiat64.go#L4612: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L4615: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L4618: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L4621: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L4624: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L4627: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L4630: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L4635: x247, x248 = bits.Add64(x197, x229, uint64(p521Uint1(x246)))
p521_fiat64.go#L4638: x249, x250 = bits.Add64(x199, x231, uint64(p521Uint1(x248)))
p521_fiat64.go#L4641: x251, x252 = bits.Add64(x201, x233, uint64(p521Uint1(x250)))
p521_fiat64.go#L4644: x253, x254 = bits.Add64(x203, x235, uint64(p521Uint1(x252)))
p521_fiat64.go#L4647: x255, x256 = bits.Add64(x205, x237, uint64(p521Uint1(x254)))
p521_fiat64.go#L4650: x257, x258 = bits.Add64(x207, x239, uint64(p521Uint1(x256)))
p521_fiat64.go#L4653: x259, x260 = bits.Add64(x209, x241, uint64(p521Uint1(x258)))
p521_fiat64.go#L4656: x261, x262 = bits.Add64((uint64(p521Uint1(x210)) + (uint64(p521Uint1(x194)) + (uint64(p521Uint1(x176)) + x144))), x243, uint64(p521Uint1(x260)))
p521_fiat64.go#L4665: x267, x268 = bits.Add64(x251, x264, uint64(p521Uint1(x266)))
p521_fiat64.go#L4668: x269, x270 = bits.Add64(x253, uint64(0x0), uint64(p521Uint1(x268)))
p521_fiat64.go#L4671: x271, x272 = bits.Add64(x255, uint64(0x0), uint64(p521Uint1(x270)))
p521_fiat64.go#L4674: x273, x274 = bits.Add64(x257, uint64(0x0), uint64(p521Uint1(x272)))
p521_fiat64.go#L4677: x275, x276 = bits.Add64(x259, uint64(0x0), uint64(p521Uint1(x274)))
p521_fiat64.go#L4680: x277, x278 = bits.Add64(x261, uint64(0x0), uint64(p521Uint1(x276)))
p521_fiat64.go#L4713: x299, x300 = bits.Add64(x294, x291, uint64(p521Uint1(x298)))
p521_fiat64.go#L4716: x301, x302 = bits.Add64(x292, x289, uint64(p521Uint1(x300)))
p521_fiat64.go#L4719: x303, x304 = bits.Add64(x290, x287, uint64(p521Uint1(x302)))
p521_fiat64.go#L4722: x305, x306 = bits.Add64(x288, x285, uint64(p521Uint1(x304)))
p521_fiat64.go#L4725: x307, x308 = bits.Add64(x286, x283, uint64(p521Uint1(x306)))
p521_fiat64.go#L4728: x309, x310 = bits.Add64(x284, x281, uint64(p521Uint1(x308)))
p521_fiat64.go#L4731: x311, x312 = bits.Add64(x282, x279, uint64(p521Uint1(x310)))
p521_fiat64.go#L4736: x315, x316 = bits.Add64(x265, x297, uint64(p521Uint1(x314)))
p521_fiat64.go#L4739: x317, x318 = bits.Add64(x267, x299, uint64(p521Uint1(x316)))
p521_fiat64.go#L4742: x319, x320 = bits.Add64(x269, x301, uint64(p521Uint1(x318)))
p521_fiat64.go#L4745: x321, x322 = bits.Add64(x271, x303, uint64(p521Uint1(x320)))
p521_fiat64.go#L4748: x323, x324 = bits.Add64(x273, x305, uint64(p521Uint1(x322)))
p521_fiat64.go#L4751: x325, x326 = bits.Add64(x275, x307, uint64(p521Uint1(x324)))
p521_fiat64.go#L4754: x327, x328 = bits.Add64(x277, x309, uint64(p521Uint1(x326)))
p521_fiat64.go#L4757: x329, x330 = bits.Add64((uint64(p521Uint1(x278)) + (uint64(p521Uint1(x262)) + (uint64(p521Uint1(x244)) + x212))), x311, uint64(p521Uint1(x328)))
p521_fiat64.go#L4766: x335, x336 = bits.Add64(x319, x332, uint64(p521Uint1(x334)))
p521_fiat64.go#L4769: x337, x338 = bits.Add64(x321, uint64(0x0), uint64(p521Uint1(x336)))
p521_fiat64.go#L4772: x339, x340 = bits.Add64(x323, uint64(0x0), uint64(p521Uint1(x338)))
p521_fiat64.go#L4775: x341, x342 = bits.Add64(x325, uint64(0x0), uint64(p521Uint1(x340)))
p521_fiat64.go#L4778: x343, x344 = bits.Add64(x327, uint64(0x0), uint64(p521Uint1(x342)))
p521_fiat64.go#L4781: x345, x346 = bits.Add64(x329, uint64(0x0), uint64(p521Uint1(x344)))
p521_fiat64.go#L4814: x367, x368 = bits.Add64(x362, x359, uint64(p521Uint1(x366)))
p521_fiat64.go#L4817: x369, x370 = bits.Add64(x360, x357, uint64(p521Uint1(x368)))
p521_fiat64.go#L4820: x371, x372 = bits.Add64(x358, x355, uint64(p521Uint1(x370)))
p521_fiat64.go#L4823: x373, x374 = bits.Add64(x356, x353, uint64(p521Uint1(x372)))
p521_fiat64.go#L4826: x375, x376 = bits.Add64(x354, x351, uint64(p521Uint1(x374)))
p521_fiat64.go#L4829: x377, x378 = bits.Add64(x352, x349, uint64(p521Uint1(x376)))
p521_fiat64.go#L4832: x379, x380 = bits.Add64(x350, x347, uint64(p521Uint1(x378)))
p521_fiat64.go#L4837: x383, x384 = bits.Add64(x333, x365, uint64(p521Uint1(x382)))
p521_fiat64.go#L4840: x385, x386 = bits.Add64(x335, x367, uint64(p521Uint1(x384)))
p521_fiat64.go#L4843: x387, x388 = bits.Add64(x337, x369, uint64(p521Uint1(x386)))
p521_fiat64.go#L4846: x389, x390 = bits.Add64(x339, x371, uint64(p521Uint1(x388)))
p521_fiat64.go#L4849: x391, x392 = bits.Add64(x341, x373, uint64(p521Uint1(x390)))
p521_fiat64.go#L4852: x393, x394 = bits.Add64(x343, x375, uint64(p521Uint1(x392)))
p521_fiat64.go#L4855: x395, x396 = bits.Add64(x345, x377, uint64(p521Uint1(x394)))
p521_fiat64.go#L4858: x397, x398 = bits.Add64((uint64(p521Uint1(x346)) + (uint64(p521Uint1(x330)) + (uint64(p521Uint1(x312)) + x280))), x379, uint64(p521Uint1(x396)))
p521_fiat64.go#L4867: x403, x404 = bits.Add64(x387, x400, uint64(p521Uint1(x402)))
p521_fiat64.go#L4870: x405, x406 = bits.Add64(x389, uint64(0x0), uint64(p521Uint1(x404)))
p521_fiat64.go#L4873: x407, x408 = bits.Add64(x391, uint64(0x0), uint64(p521Uint1(x406)))
p521_fiat64.go#L4876: x409, x410 = bits.Add64(x393, uint64(0x0), uint64(p521Uint1(x408)))
p521_fiat64.go#L4879: x411, x412 = bits.Add64(x395, uint64(0x0), uint64(p521Uint1(x410)))
p521_fiat64.go#L4882: x413, x414 = bits.Add64(x397, uint64(0x0), uint64(p521Uint1(x412)))
p521_fiat64.go#L4915: x435, x436 = bits.Add64(x430, x427, uint64(p521Uint1(x434)))
p521_fiat64.go#L4918: x437, x438 = bits.Add64(x428, x425, uint64(p521Uint1(x436)))
p521_fiat64.go#L4921: x439, x440 = bits.Add64(x426, x423, uint64(p521Uint1(x438)))
p521_fiat64.go#L4924: x441, x442 = bits.Add64(x424, x421, uint64(p521Uint1(x440)))
p521_fiat64.go#L4927: x443, x444 = bits.Add64(x422, x419, uint64(p521Uint1(x442)))
p521_fiat64.go#L4930: x445, x446 = bits.Add64(x420, x417, uint64(p521Uint1(x444)))
p521_fiat64.go#L4933: x447, x448 = bits.Add64(x418, x415, uint64(p521Uint1(x446)))
p521_fiat64.go#L4938: x451, x452 = bits.Add64(x401, x433, uint64(p521Uint1(x450)))
p521_fiat64.go#L4941: x453, x454 = bits.Add64(x403, x435, uint64(p521Uint1(x452)))
p521_fiat64.go#L4944: x455, x456 = bits.Add64(x405, x437, uint64(p521Uint1(x454)))
p521_fiat64.go#L4947: x457, x458 = bits.Add64(x407, x439, uint64(p521Uint1(x456)))
p521_fiat64.go#L4950: x459, x460 = bits.Add64(x409, x441, uint64(p521Uint1(x458)))
p521_fiat64.go#L4953: x461, x462 = bits.Add64(x411, x443, uint64(p521Uint1(x460)))
p521_fiat64.go#L4956: x463, x464 = bits.Add64(x413, x445, uint64(p521Uint1(x462)))
p521_fiat64.go#L4959: x465, x466 = bits.Add64((uint64(p521Uint1(x414)) + (uint64(p521Uint1(x398)) + (uint64(p521Uint1(x380)) + x348))), x447, uint64(p521Uint1(x464)))
p521_fiat64.go#L4968: x471, x472 = bits.Add64(x455, x468, uint64(p521Uint1(x470)))
p521_fiat64.go#L4971: x473, x474 = bits.Add64(x457, uint64(0x0), uint64(p521Uint1(x472)))
p521_fiat64.go#L4974: x475, x476 = bits.Add64(x459, uint64(0x0), uint64(p521Uint1(x474)))
p521_fiat64.go#L4977: x477, x478 = bits.Add64(x461, uint64(0x0), uint64(p521Uint1(x476)))
p521_fiat64.go#L4980: x479, x480 = bits.Add64(x463, uint64(0x0), uint64(p521Uint1(x478)))
p521_fiat64.go#L4983: x481, x482 = bits.Add64(x465, uint64(0x0), uint64(p521Uint1(x480)))
p521_fiat64.go#L5016: x503, x504 = bits.Add64(x498, x495, uint64(p521Uint1(x502)))
p521_fiat64.go#L5019: x505, x506 = bits.Add64(x496, x493, uint64(p521Uint1(x504)))
p521_fiat64.go#L5022: x507, x508 = bits.Add64(x494, x491, uint64(p521Uint1(x506)))
p521_fiat64.go#L5025: x509, x510 = bits.Add64(x492, x489, uint64(p521Uint1(x508)))
p521_fiat64.go#L5028: x511, x512 = bits.Add64(x490, x487, uint64(p521Uint1(x510)))
p521_fiat64.go#L5031: x513, x514 = bits.Add64(x488, x485, uint64(p521Uint1(x512)))
p521_fiat64.go#L5034: x515, x516 = bits.Add64(x486, x483, uint64(p521Uint1(x514)))
p521_fiat64.go#L5039: x519, x520 = bits.Add64(x469, x501, uint64(p521Uint1(x518)))
p521_fiat64.go#L5042: x521, x522 = bits.Add64(x471, x503, uint64(p521Uint1(x520)))
p521_fiat64.go#L5045: x523, x524 = bits.Add64(x473, x505, uint64(p521Uint1(x522)))
p521_fiat64.go#L5048: x525, x526 = bits.Add64(x475, x507, uint64(p521Uint1(x524)))
p521_fiat64.go#L5051: x527, x528 = bits.Add64(x477, x509, uint64(p521Uint1(x526)))
p521_fiat64.go#L5054: x529, x530 = bits.Add64(x479, x511, uint64(p521Uint1(x528)))
p521_fiat64.go#L5057: x531, x532 = bits.Add64(x481, x513, uint64(p521Uint1(x530)))
p521_fiat64.go#L5060: x533, x534 = bits.Add64((uint64(p521Uint1(x482)) + (uint64(p521Uint1(x466)) + (uint64(p521Uint1(x448)) + x416))), x515, uint64(p521Uint1(x532)))
p521_fiat64.go#L5061: x535 := (uint64(p521Uint1(x534)) + (uint64(p521Uint1(x516)) + x484))
p521_fiat64.go#L5067: x538, x539 = bits.Sub64(x521, 0xffffffffffffffff, uint64(p521Uint1(x537)))
p521_fiat64.go#L5070: x540, x541 = bits.Sub64(x523, 0xffffffffffffffff, uint64(p521Uint1(x539)))
p521_fiat64.go#L5073: x542, x543 = bits.Sub64(x525, 0xffffffffffffffff, uint64(p521Uint1(x541)))
p521_fiat64.go#L5076: x544, x545 = bits.Sub64(x527, 0xffffffffffffffff, uint64(p521Uint1(x543)))
p521_fiat64.go#L5079: x546, x547 = bits.Sub64(x529, 0xffffffffffffffff, uint64(p521Uint1(x545)))
p521_fiat64.go#L5082: x548, x549 = bits.Sub64(x531, 0xffffffffffffffff, uint64(p521Uint1(x547)))
p521_fiat64.go#L5085: x550, x551 = bits.Sub64(x533, 0xffffffffffffffff, uint64(p521Uint1(x549)))
p521_fiat64.go#L5088: x552, x553 = bits.Sub64(x535, 0x1ff, uint64(p521Uint1(x551)))
p521_fiat64.go#L5090: _, x555 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p521Uint1(x553)))
p521_fiat64.go#L5092: p521CmovznzU64(&x556, p521Uint1(x555), x536, x519)
p521_fiat64.go#L5094: p521CmovznzU64(&x557, p521Uint1(x555), x538, x521)
p521_fiat64.go#L5096: p521CmovznzU64(&x558, p521Uint1(x555), x540, x523)
p521_fiat64.go#L5098: p521CmovznzU64(&x559, p521Uint1(x555), x542, x525)
p521_fiat64.go#L5100: p521CmovznzU64(&x560, p521Uint1(x555), x544, x527)
p521_fiat64.go#L5102: p521CmovznzU64(&x561, p521Uint1(x555), x546, x529)
p521_fiat64.go#L5104: p521CmovznzU64(&x562, p521Uint1(x555), x548, x531)
p521_fiat64.go#L5106: p521CmovznzU64(&x563, p521Uint1(x555), x550, x533)
p521_fiat64.go#L5108: p521CmovznzU64(&x564, p521Uint1(x555), x552, x535)
p521_fiat64.go#L5131: func p521Selectznz(out1 *[9]uint64, arg1 p521Uint1, arg2 *[9]uint64, arg3 *[9]uint64) {
p521_fiat64.go#L5295: x123 := p521Uint1((x1 >> 8))
p521_fiat64.go#L5377: x1 := (uint64(p521Uint1(arg1[65])) << 8)